Finite sequent calculi for PLTL
From MaRDI portal
Publication:5040746
DOI10.15388/LMR.A.2015.01OpenAlexW2989706228MaRDI QIDQ5040746
A. Ju. Pljuskevicene, R. Alonderis, Regimantas Pliuškevičius
Publication date: 18 October 2022
Published in: Lietuvos matematikos rinkinys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.15388/lmr.a.2015.01
Related Items
Cites Work
- Efficient loop-check for KD45 logic
- The saturated tableaux for linear miniscope Horn-like temporal logic
- Temporal Logics of Knowledge and their Applications in Security
- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Finite sequent calculi for PLTL
- A practical decision method for propositional dynamic logic (Preliminary Report)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item