Modal correspondence for models
Correspondence theory in modal logic provides results of the following form: a modal formula \(\varphi\) is valid in a frame \(F\) iff a first-order formula \(c_\varphi\) is true in \(F\) regarded as a first-order model. The paper considers a possibility of obtaining similar correspondence results for models. It is shown, in particular, that each frame correspondence result can be extended to a model correspondence result: a model \(M\) satisfies all substitution instances of \(\varphi\) in infinitary modal logic iff \(c_\varphi\) is true in a certain frame uniquely determined by \(M\).
- Models and modality
- Models for relevant modal logics
- Models for modal syllogisms
- Mechanised modal model theory
- A model of modal description logic
- Modal frame correspondences and fixed-points
- Models and logical consequence
- Relational models for the modal syllogistic
- Modal Fixed-Point Logic and Changing Models
- The Modal Logic of Equilibrium Models
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
- Modality via iterated enrichment
- Finite models constructed from canonical formulas
- Characteristic formulae for fixed-point semantics: a general framework
- Frame correspondences in modal predicate logic
- scientific article; zbMATH DE number 5984132 (Why is no real title available?)
- Modalized observers
- Modal formulas true at some point in every model
- Modal Ecthesis
- scientific article; zbMATH DE number 1163387 (Why is no real title available?)
- Results in modal correspondence theory for possibility semantics
- Modal correspondence theory in the class of all Euclidean frames
- Correspondence theory in proof theory
- Model theory and validity
- Correspondence theory for generalized modal algebras
- On the modal definability of simulability by finite transitive models
This page was built for publication: Modal correspondence for models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267083)
