Sahlqvist theory for impossible worlds
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of additivity ◊x∨◊y=◊(x∨y) and multiplicativity □x∧□y=□(x∧y) are requir...
Published in: | Journal of Logic and Computation |
---|---|
Main Authors: | , , |
Format: | Article in Journal/Newspaper |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | https://dare.uva.nl/personal/pure/en/publications/sahlqvist-theory-for-impossible-worlds(3f3fa42c-a394-4a0c-af32-01ce183d917b).html https://doi.org/10.1093/logcom/exw014 |
id |
ftunivamstpubl:oai:dare.uva.nl:openaire_cris_publications/3f3fa42c-a394-4a0c-af32-01ce183d917b |
---|---|
record_format |
openpolar |
spelling |
ftunivamstpubl:oai:dare.uva.nl:openaire_cris_publications/3f3fa42c-a394-4a0c-af32-01ce183d917b 2024-09-30T14:34:10+00:00 Sahlqvist theory for impossible worlds Palmigiano, A. Sourabh, S. Zhao, Z. 2017 https://dare.uva.nl/personal/pure/en/publications/sahlqvist-theory-for-impossible-worlds(3f3fa42c-a394-4a0c-af32-01ce183d917b).html https://doi.org/10.1093/logcom/exw014 eng eng https://dare.uva.nl/personal/pure/en/publications/sahlqvist-theory-for-impossible-worlds(3f3fa42c-a394-4a0c-af32-01ce183d917b).html info:eu-repo/semantics/closedAccess Palmigiano , A , Sourabh , S & Zhao , Z 2017 , ' Sahlqvist theory for impossible worlds ' , Journal of Logic and Computation , vol. 27 , no. 3 , pp. 775-816 . https://doi.org/10.1093/logcom/exw014 article 2017 ftunivamstpubl https://doi.org/10.1093/logcom/exw014 2024-09-12T16:38:31Z We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of additivity ◊x∨◊y=◊(x∨y) and multiplicativity □x∧□y=□(x∧y) are required. Conceptually, it has been argued that their lacking necessitation makes regular modal logics better suited than normal modal logics at the formalization of epistemic and deontic settings. From a technical viewpoint, regularity proves to be very natural and adequate for the treatment of algebraic canonicity Jónsson-style. Indeed, additivity and multiplicativity turn out to be key to extend Jónsson’s original proof of canonicity to the full Sahlqvist class of certain regular distributive modal logics naturally generalizing distributive modal logic. Most interestingly, additivity and multiplicativity are key to Jónsson-style canonicity also in the original (i.e. normal DML. Our contributions include: the definition of Sahlqvist inequalities for regular modal logics on a distributive lattice propositional base; the proof of their canonicity following Jónsson’s strategy; the adaptation of the algorithm ALBA to the setting of regular modal logics on two non-classical (distributive lattice and intuitionistic) bases; the proof that the adapted ALBA is guaranteed to succeed on a syntactically defined class which properly includes the Sahlqvist one; finally, the application of the previous results so as to obtain proofs, alternative to Kripke’s, of the strong completeness of Lemmon’s epistemic logics E2-E5 with respect to elementary classes of Kripke frames with impossible worlds. Article in Journal/Newspaper DML Universiteit van Amsterdam: Digital Academic Repository (UvA DARE) Journal of Logic and Computation exw014 |
institution |
Open Polar |
collection |
Universiteit van Amsterdam: Digital Academic Repository (UvA DARE) |
op_collection_id |
ftunivamstpubl |
language |
English |
description |
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of additivity ◊x∨◊y=◊(x∨y) and multiplicativity □x∧□y=□(x∧y) are required. Conceptually, it has been argued that their lacking necessitation makes regular modal logics better suited than normal modal logics at the formalization of epistemic and deontic settings. From a technical viewpoint, regularity proves to be very natural and adequate for the treatment of algebraic canonicity Jónsson-style. Indeed, additivity and multiplicativity turn out to be key to extend Jónsson’s original proof of canonicity to the full Sahlqvist class of certain regular distributive modal logics naturally generalizing distributive modal logic. Most interestingly, additivity and multiplicativity are key to Jónsson-style canonicity also in the original (i.e. normal DML. Our contributions include: the definition of Sahlqvist inequalities for regular modal logics on a distributive lattice propositional base; the proof of their canonicity following Jónsson’s strategy; the adaptation of the algorithm ALBA to the setting of regular modal logics on two non-classical (distributive lattice and intuitionistic) bases; the proof that the adapted ALBA is guaranteed to succeed on a syntactically defined class which properly includes the Sahlqvist one; finally, the application of the previous results so as to obtain proofs, alternative to Kripke’s, of the strong completeness of Lemmon’s epistemic logics E2-E5 with respect to elementary classes of Kripke frames with impossible worlds. |
format |
Article in Journal/Newspaper |
author |
Palmigiano, A. Sourabh, S. Zhao, Z. |
spellingShingle |
Palmigiano, A. Sourabh, S. Zhao, Z. Sahlqvist theory for impossible worlds |
author_facet |
Palmigiano, A. Sourabh, S. Zhao, Z. |
author_sort |
Palmigiano, A. |
title |
Sahlqvist theory for impossible worlds |
title_short |
Sahlqvist theory for impossible worlds |
title_full |
Sahlqvist theory for impossible worlds |
title_fullStr |
Sahlqvist theory for impossible worlds |
title_full_unstemmed |
Sahlqvist theory for impossible worlds |
title_sort |
sahlqvist theory for impossible worlds |
publishDate |
2017 |
url |
https://dare.uva.nl/personal/pure/en/publications/sahlqvist-theory-for-impossible-worlds(3f3fa42c-a394-4a0c-af32-01ce183d917b).html https://doi.org/10.1093/logcom/exw014 |
genre |
DML |
genre_facet |
DML |
op_source |
Palmigiano , A , Sourabh , S & Zhao , Z 2017 , ' Sahlqvist theory for impossible worlds ' , Journal of Logic and Computation , vol. 27 , no. 3 , pp. 775-816 . https://doi.org/10.1093/logcom/exw014 |
op_relation |
https://dare.uva.nl/personal/pure/en/publications/sahlqvist-theory-for-impossible-worlds(3f3fa42c-a394-4a0c-af32-01ce183d917b).html |
op_rights |
info:eu-repo/semantics/closedAccess |
op_doi |
https://doi.org/10.1093/logcom/exw014 |
container_title |
Journal of Logic and Computation |
container_start_page |
exw014 |
_version_ |
1811637855742590976 |