Monotonic modal logics with a conjunction

dc.creatorCelani, Sergio Arturo
dc.creatorMenchón, María Paula
dc.date.accessioned2022-08-04T19:48:41Z
dc.date.accessioned2022-10-15T05:48:03Z
dc.date.available2022-08-04T19:48:41Z
dc.date.available2022-10-15T05:48:03Z
dc.date.created2022-08-04T19:48:41Z
dc.date.issued2021-11
dc.identifierCelani, Sergio Arturo; Menchón, María Paula; Monotonic modal logics with a conjunction; Springer; Archive for Mathematical Logic; 60; 11-2021; 857-877
dc.identifier0933-5846
dc.identifierhttp://hdl.handle.net/11336/164304
dc.identifier1432-0665
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4351596
dc.description.abstractMonotone 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.
dc.languageeng
dc.publisherSpringer
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00153-021-00764-9
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00153-021-00764-9
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectCANONICAL LOGICS
dc.subjectCOMPLETE LOGICS
dc.subjectDEDUCTIVE SYSTEMS WITH A CONJUNCTION
dc.subjectMONOTONIC FRAMES
dc.subjectMONOTONIC MODAL ALGEBRAS
dc.subjectMONOTONIC OPERATORS
dc.titleMonotonic modal logics with a conjunction
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion


Este ítem pertenece a la siguiente institución