Romas Alonderis

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 6

Top Topics

Search Procedure

Sequent Calculus

Top Venues

Arch. Math. Log.

Publications

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Check Specification for a Sequent Calculus of Temporal Logic. Stud Logica 110 (6) (2022)
Romas Alonderis, Haroldas Giedra
A proof-search system for the logic of likelihood. Log. J. IGPL 28 (3) (2020)
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Type Sequent Calculi for Temporal Logic. J. Autom. Reason. 64 (8) (2020)
Romas Alonderis, Haroldas Giedra
A proof-search system for the logic of likelihood. Log. J. IGPL 28 (3) (2020)
Haroldas Giedra, Romas Alonderis
Automated proof search system for logic of correlated knowledge. CoRR (2019)
Romas Alonderis, Jurate Sakalauskaite
A Labelled Sequent Calculus for Half-order Modal Logic. FLAP 5 (1) (2018)
Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis
Decidability of Logic of Correlated Knowledge. Informatica 25 (4) (2014)
Romas Alonderis
A proof-search procedure for intuitionistic propositional logic. Arch. Math. Log. 52 (7-8) (2013)
Romas Alonderis
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic. Log. J. IGPL 15 (1) (2007)