Logic of knowledge with infinitely many agents
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.

Abstract

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

PDF
Creative Commons License

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

Downloads

Download data is not yet available.