Interpolation for extended modal languages
From MaRDI portal
Publication:3370762
DOI10.2178/jsl/1107298517zbMath1089.03014MaRDI QIDQ3370762
Publication date: 8 February 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1107298517
interpolation; hybrid logic; relation algebra; guarded fragment; Kripke model; extensions of basic modal language
03B45: Modal logic (including the logic of norms)
03G15: Cylindric and polyadic algebras; relation algebras
03C40: Interpolation, preservation, definability
Related Items
SOME MODEL THEORY OF GUARDED NEGATION, Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA, Proof Complexity of Non-classical Logics, From \textit{counterfactual} conditionals to \textit{temporal} conditionals, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Expressive power of ``now and ``then operators, Completeness in hybrid type theory, On the modal logic of subset and superset: tense logic over Medvedev frames, Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction), Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?, A study on multi-dimensional products of graphs and hybrid logics, Toward a dynamic logic of questions, Agreement theorems in dynamic-epistemic logic, Pure extensions, proof rules, and hybrid axiomatics, Notes on logics of metric spaces, A dynamic-epistemic hybrid logic for intentions and information changes in strategic games, The many faces of interpolation, Interpolation in non-classical logics, Model checking for hybrid logic, Hybrid logic meets IF modal logic, Local properties in modal logic, First-order modal logic: frame definability and a Lindström theorem, Characterising modal definability of team-based logics via the universal modality, Model checking for hybrid branching-time logics, Hierarchical hybrid logic, Refinement in hybridised institutions, A logical study of group-size based social network creation, Modal definability of first-order formulas with free variables and query answering, Expressivity of second order propositional modal logic, Model checking hybrid logics (with an application to semistructured data), Guards, bounds, and generalized semantics, Guarded fragments with constants, A Hybridization of Irreflexive Modal Logics, Algebraic Semantics for Hybrid Logics, Henkin and Hybrid Logic, An Analytic Logic of Aggregation, Coalgebraic Hybrid Logic, Craig Interpolation for Linear Temporal Languages
Cites Work
