Interpolation for extended modal languages

DOI10.2178/JSL/1107298517MaRDI QIDQ3370762zbMATH OpenOpenAlexFDO

Authors 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

extensions of basic modal languageguarded fragmenthybrid logicinterpolationKripke modelrelation algebra

Mathematics Subject Classification ID

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

Recommendations

• Hybrid logics: Characterization, interpolation and complexity
• scientific article; zbMATH DE number 4047685
• Interpolation and amalgamation; pushing the limits. I
• Extensions of the minimal logic and the interpolation problem
• Constructive interpolation in hybrid logic

Cites work

• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• Interpolation and definability in guarded fragments
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Modal languages and bounded fragments of predicate logic
• Modal logic with names
• On the Restraining Power of Guards
• Relation algebras with binders

Cited in

(41)

• 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
• 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
• Expressive power of ``now and ``then operators
• Algebraic semantics for hybrid logics
• Henkin and hybrid logic
• An Analytic Logic of Aggregation
• Coalgebraic Hybrid Logic
• Craig Interpolation for Linear Temporal Languages
• SOME MODEL THEORY OF GUARDED NEGATION
• scientific article; zbMATH DE number 1850736 (Why is no real title available?)
• Completeness in hybrid type theory
• Completeness and correspondence in hybrid logic via an extension of SQEMA
• On the modal logic of subset and superset: tense logic over Medvedev frames
• 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
• 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?
• Axiomatization of hybrid logic of link variations
• A study on multi-dimensional products of graphs and hybrid logics
• Craig interpolation for decidable first-order fragments
• Toward a dynamic logic of questions
• Agreement theorems in dynamic-epistemic logic
• Craig interpolation for decidable first-order fragments
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3370762)