| Title: |
Every world can see a Sahlqvist world |
| Authors: |
Balbiani, Philippe; Shapirovsky, Ilya, B.; Shehtman, Valentin, B. |
| Contributors: |
Logique, Interaction, Langue et Calcul (IRIT-LILaC); Institut de recherche en informatique de Toulouse (IRIT); Université Toulouse Capitole (UT Capitole); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse - Jean Jaurès (UT2J); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse III - Paul Sabatier (UT3); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Toulouse Mind & Brain Institut (TMBI); Université Toulouse - Jean Jaurès (UT2J); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse III - Paul Sabatier (UT3); Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse Capitole (UT Capitole); Communauté d'universités et établissements de Toulouse (Comue de Toulouse); Centre National de la Recherche Scientifique (CNRS); New Mexico State University; New Mexico Consortium (NMC); Institute for Information Transmission Problems; Russian Academy of Sciences Moscow (RAS); Guido Governatori; Ian M. Hodkinson; Yde Venema |
| Source: |
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic ; 6th Conference on Advances in Modal Logic (AiML 2006) ; https://hal.science/hal-04002023 ; 6th Conference on Advances in Modal Logic (AiML 2006), Sep 2006, Noosavile, Queensland, Australia. pp.69--85 ; http://www.aiml.net/volumes/volume6/ |
| Publisher Information: |
CCSD; College Publications |
| Publication Year: |
2006 |
| Collection: |
Université Toulouse III - Paul Sabatier: HAL-UPS |
| Subject Terms: |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] |
| Subject Geographic: |
Noosavile; Queensland; Australia |
| Description: |
International audience ; We introduce a class of propositional modal logics axiomatized by infinite sequences of formulas in special form. Two logics of this type are known from [10] and [13]. Although the axioms are beyond Sahlqvist class and its generalization defined in [8], all the resulting logics are still complete with respect to elementary classes of frames. For two particular examples of these logics related to the McKinsey axiom, we also study elementarity andfinite model property. |
| Document Type: |
conference object |
| Language: |
English |
| Availability: |
https://hal.science/hal-04002023; https://hal.science/hal-04002023v1/document; https://hal.science/hal-04002023v1/file/Balbiani-Shapirovsky-Shehtman%202006.pdf |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.4A6ACCC0 |
| Database: |
BASE |