Two-dimensional modal logic

Autor:	V. B. Shekhtman
Rok vydání:	1978
Předmět:	Discrete mathematics Pure mathematics Normal modal logic Computer Science::Logic in Computer Science General Mathematics Kripke structure Accessibility relation Multimodal logic Modal logic Kripke semantics Intermediate logic S5 Mathematics
Zdroj:	Mathematical Notes of the Academy of Sciences of the USSR. 23:417-424
ISSN:	1573-8876 0001-4346
DOI:	10.1007/bf01789012
Popis:	Prepositional logics with many modalites, characterized by “two-dimensional” Kripke models, are investigated. The general problem can be formulated as follows: from two modal logics describing certain classes of Kripke modal lattices construct a logic describing all products of Kripke lattices from these classes. For a large number of cases such a logic is obtained by joining to the original logics an axiom of the form □i□jp ≡ □j□ip and ◊i□jp ⊃ □j◊jp. A special case of this problem, leading to the logic of a torus S5×S5 was solved by Segerberg [1].
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::23c056fa18eef8fe3eb87a47ce3ed1fb https://doi.org/10.1007/bf01789012 Zobrazit plný text záznamu Full text from SpringerLink