Romas Alonderis

According to our database, Romas Alonderis authored at least 8 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2022

Loop-Check Specification for a Sequent Calculus of Temporal Logic.

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra

Stud Logica, 2022

2020

Loop-Type Sequent Calculi for Temporal Logic.

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra

J. Autom. Reason., 2020

A proof-search system for the logic of likelihood.

Romas Alonderis, Haroldas Giedra

Log. J. IGPL, 2020

2019

Automated proof search system for logic of correlated knowledge.

Haroldas Giedra, Romas Alonderis

CoRR, 2019

2018

A Labelled Sequent Calculus for Half-order Modal Logic.

Romas Alonderis, Jurate Sakalauskaite

FLAP, 2018

2014

Decidability of Logic of Correlated Knowledge.

Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis

Informatica, 2014

2013

A proof-search procedure for intuitionistic propositional logic.

Romas Alonderis

Arch. Math. Log., 2013

2007

Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.

Romas Alonderis

Log. J. IGPL, 2007