Logic of knowledge with infinitely many agents

Regimantas Pliuškevičius

doi:10.15388/LMR.2006.30719

Articles

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Published 2023-09-21

https://doi.org/10.15388/LMR.2006.30719

PDF

Keywords

modal logic
logic of knowledge
sequent calculus

How to Cite

Pliuškevičius, R. (2023) “Logic of knowledge with infinitely many agents”, Lietuvos matematikos rinkinys, 46(spec.), pp. 247–252. doi:10.15388/LMR.2006.30719.

Download Citation

Abstract

Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5_n.

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles in this journal

Romas Alonderis, Regimantas Pliuškevičius, Sequent systems for PLTL , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Finite sequent calculi for PLTL , Lietuvos matematikos rinkinys: Vol. 56 (2015): Ser. A
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Saturation method for reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Regimantas Pliuškevičius, Method of marks for propositional linear temporal logic , Lietuvos matematikos rinkinys: Vol. 55 (2014): Ser. A
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Two complete finitary sequent calculi for reflexive common knowledge , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Cut, invariant rule, and loop-check free sequent calculus for PLTL , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Contraction-free calculi for modal logics S5 and KD45 , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Regimantas Pliuškevičius , Termination of derivations for minimal tense logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Aida Pliuškevičienė, A method of marks and indices for linear modal logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Loop-free verification of termination of derivation for a fragment of dynamic logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)

1 2 > >>