Interpolation for extended modal languages

DOI10.2178/JSL/1107298517zbMath1089.03014OpenAlexW2154199572MaRDI QIDQ3370762

Balder ten Cate

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

zbMATH Keywords

interpolationhybrid logicrelation algebraguarded fragmentKripke modelextensions of basic modal language

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

Related Items (38)

Expressive power of ``now and ``then operators ⋮ Henkin and Hybrid Logic ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Notes on logics of metric spaces ⋮ 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 ⋮ A logical study of group-size based social network creation ⋮ 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? ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Completeness in hybrid type theory ⋮ Algebraic Semantics for Hybrid Logics ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Toward a dynamic logic of questions ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Local properties in modal logic ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Expressivity of second order propositional modal logic ⋮ An Analytic Logic of Aggregation ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Coalgebraic Hybrid Logic ⋮ Model checking for hybrid branching-time logics ⋮ Proof Complexity of Non-classical Logics ⋮ The many faces of interpolation ⋮ Interpolation in non-classical logics ⋮ Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA ⋮ Craig Interpolation for Linear Temporal Languages ⋮ Guards, bounds, and generalized semantics ⋮ Guarded fragments with constants ⋮ Model checking for hybrid logic ⋮ Hybrid logic meets IF modal logic ⋮ Hierarchical hybrid logic ⋮ A Hybridization of Irreflexive Modal Logics ⋮ Refinement in hybridised institutions

Cites Work

• Unnamed Item
• Modal languages and bounded fragments of predicate logic
• Modal logic with names
• Interpolation and definability in guarded fragments
• Relation Algebra with Binders
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On the Restraining Power of Guards

This page was built for publication: Interpolation for extended modal languages