Monotonic modal logics with a conjunction

Autor:	Paula Menchón, Sergio Arturo Celani
Rok vydání:	2021
Předmět:	Logic 010102 general mathematics Semilattice Monotonic function 0102 computer and information sciences Modal operator 01 natural sciences Algebra Philosophy Monotone polygon Modal Distributive property Algebraic semantics 010201 computation theory & mathematics Computer Science::Logic in Computer Science Completeness (order theory) 0101 mathematics Mathematics
Zdroj:	Archive for Mathematical Logic. 60:857-877
ISSN:	1432-0665 0933-5846
DOI:	10.1007/s00153-021-00764-9
Popis:	Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained from a semilattice based deductive system with monotonic modal operators, and we give them neighborhood and algebraic semantics. For each logic defined our main objective is to prove completeness with respect to its characteristic class of monotonic frames.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::eb7c3a0fd37bfe0e3bfa38c6fe953d12 https://doi.org/10.1007/s00153-021-00764-9 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.