The modal logic of inequality
From MaRDI portal
Publication:4032643
DOI10.2307/2275293zbMath0788.03019OpenAlexW2153417525MaRDI QIDQ4032643
Publication date: 1 April 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://pure.uva.nl/ws/files/2199730/27857_125514y.pdf
completenessexpressibilityultraproductKripke modelsKripke semanticsdefinabilityfunctional completenesscanonical framegeneral frame\(\omega\)-categoricityKripke-completenessSahlqvist formulabimodal language\(p\)-relationpropositional modal logics with \(D\)-operatorsequential definability
Related Items
Constructive interpolation in hybrid logic ⋮ Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ Reasoning about update logic ⋮ Dynamic squares ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Hybrid languages ⋮ Intuitionistic logic and modality via topology ⋮ Notes on logics of metric spaces ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ Towards reasoning about Hoare relations ⋮ Temporal logic and its application to normative reasoning ⋮ Completeness results for two-sorted metric temporal logics ⋮ Separation logics and modalities: a survey ⋮ Two-sorted metric temporal logics ⋮ To be announced ⋮ Simple weakly transitive modal algebras ⋮ A logical study of group-size based social network creation ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse ⋮ Characterization, definability and separation via saturated models ⋮ Geometrical structures and modal logic ⋮ Completeness in hybrid type theory ⋮ A simple tableau system for the logic of elsewhere ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Interpolation in weakly transitive modal logics ⋮ Modal logics that need very large frames ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ A system of dynamic modal logic ⋮ An Epistemic Logic with Hypotheses ⋮ PDL with intersection of programs: a complete axiomatization ⋮ Hybrid Tableaux for the Difference Modality ⋮ Modal Logics for Parallelism, Orthogonality, and Affine Geometries ⋮ Axiomatizing Distance Logics ⋮ On Characterization, Definability and ω-Saturated Models ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Terminating tableau systems for hybrid logic with difference and converse ⋮ Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations ⋮ Modal logic with names ⋮ Generalized quantifiers and modal logic ⋮ The Modal Multilogic of Geometry ⋮ Propositional \(\text Q\)-logic ⋮ On the undecidability of logics with converse, nominals, recursion and counting ⋮ Existential second-order logic and modal logic with quantified accessibility relations ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
Cites Work
This page was built for publication: The modal logic of inequality
