Interpolation for extended modal languages
From MaRDI portal
Publication:3370762
DOI10.2178/jsl/1107298517zbMath1089.03014OpenAlexW2154199572MaRDI 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
interpolationhybrid logicrelation algebraguarded fragmentKripke modelextensions of basic modal language
Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)
Related Items
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
