Modal logics of closed domains on Minkowski plane

Autor:	Ilya Shapirovsky
Rok vydání:	2007
Předmět:	Minkowski plane Philosophy Modal Logic Normal modal logic Computer Science::Logic in Computer Science Mathematical analysis Accessibility relation Multimodal logic Modal logic Modal μ-calculus Mathematics Modal property
Zdroj:	Journal of Applied Non-Classical Logics. 17:397-414
ISSN:	1166-3081
DOI:	10.3166/jancl.17.397-414
Popis:	In this paper we study modal logics of closed domains on the real plane ordered by the chronological future relation. For the modal logic determined by an arbitrary closed convex domain with a smooth bound, we present a finite axiom system and prove the finite modal property.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7b6ad271224b5d40f2827ed3446c9ef1 https://doi.org/10.3166/jancl.17.397-414 Zobrazit plný text záznamu