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

Aurimas Paulius Girčys, Regimantas Pliuškevičius, A specialization of definitions in common knowledge logic , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Cut elimination for knowledge logic with interaction , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Regimantas Pliuškevičius, Decision procedures for quantified fragments of reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Regimantas Pliuškevičius, Combination of temporal logic with modal logic KD , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Regimantas Pliuškevičius, Decision procedure for first-order linear temporal logic with semi-periodic kemels , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Jolanta Kaušilaitė , Regimantas Pliuškevičius, On decidability of a fragment of intuitionistic predicate logic , Lietuvos matematikos rinkinys: No. III (1999)

<< < 1 2