Logic of knowledge with infinitely many agents

Autor:	Regimantas Pliuškevičius
Jazyk:	English<br />Lithuanian
Rok vydání:	2023
Předmět:	modal logic logic of knowledge sequent calculus Mathematics QA1-939
Zdroj:	Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)
Druh dokumentu:	article
ISSN:	0132-2818 2335-898X
DOI:	10.15388/LMR.2006.30719
Popis:	Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5n.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/a1162de09dec41939ebffd5e072b3cfe Zobrazit plný text záznamu View record in DOAJ