The modal logic of inequality

DOI10.2307/2275293zbMath0788.03019MaRDI QIDQ4032643

Maarten de Rijke

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

zbMATH Keywords

completeness; expressibility; ultraproduct; Kripke models; Kripke semantics; definability; functional completeness; canonical frame; general frame; \(\omega\)-categoricity; Kripke-completeness; Sahlqvist formula; bimodal language; \(p\)-relation; propositional modal logics with \(D\)-operator; sequential definability

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03C52: Properties of classes of models

Related Items

Hyperboolean Algebras and Hyperboolean Modal Logic, Modal logics that need very large frames, First-order expressivity for S5-models: Modal vs. two-sorted languages, Intuitionistic logic and modality via topology, Interpolation properties in the extensions of the logic of inequality, Simple weakly transitive modal algebras, Interpolation in weakly transitive modal logics, On the undecidability of logics with converse, nominals, recursion and counting, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere, Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Pure extensions, proof rules, and hybrid axiomatics, Notes on logics of metric spaces, Terminating tableau systems for hybrid logic with difference and converse, A system of dynamic modal logic, Modal logic with names, Generalized quantifiers and modal logic, Reasoning about update logic, Two-sorted metric temporal logics, Propositional \(\text Q\)-logic, Dynamic squares, Hybrid languages, Towards reasoning about Hoare relations, Characterization, definability and separation via saturated models, An Epistemic Logic with Hypotheses, On Characterization, Definability and ω-Saturated Models, Constructive interpolation in hybrid logic, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, PDL with intersection of programs: a complete axiomatization, Modal Logics for Parallelism, Orthogonality, and Affine Geometries, Axiomatizing Distance Logics, The Modal Multilogic of Geometry

Cites Work

• Unnamed Item
• Solvable cases of the decision problem
• Using the Universal Modality: Gains and Questions