Interpolation for extended modal languages

DOI10.2178/JSL/1107298517zbMATH Open1089.03014OpenAlexW2154199572MaRDI QIDQ3370762FDOQ3370762

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

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

zbMATH Keywords

interpolationrelation algebrahybrid logicKripke modelguarded fragmentextensions 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)

Cites Work

• Modal languages and bounded fragments of predicate logic
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On the Restraining Power of Guards
• Modal logic with names
• Interpolation and definability in guarded fragments
• Title not available (Why is that?)
• Relation algebras with binders

Cited In (41)

• Expressivity of second order propositional modal logic
• Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA
• Proof Complexity of Non-classical Logics
• Model checking hybrid logics (with an application to semistructured data)
• Algebraic Semantics for Hybrid Logics
• Guarded fragments with constants
• Interpolation in non-classical logics
• Title not available (Why is that?)
• Notes on logics of metric spaces
• Local properties in modal logic
• Modal definability of first-order formulas with free variables and query answering
• Coalgebraic Hybrid Logic
• Characterising modal definability of team-based logics via the universal modality
• An Analytic Logic of Aggregation
• Craig Interpolation for Linear Temporal Languages
• Hierarchical hybrid logic
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals
• Expressive power of ``now and ``then operators
• A logical study of group-size based social network creation
• The many faces of interpolation
• SOME MODEL THEORY OF GUARDED NEGATION
• First-order modal logic: frame definability and a Lindström theorem
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Craig interpolation for decidable first-order fragments
• A hybridization of irreflexive modal logics
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• A study on multi-dimensional products of graphs and hybrid logics
• Completeness in hybrid type theory
• Model checking for hybrid logic
• Agreement theorems in dynamic-epistemic logic
• Toward a dynamic logic of questions
• Guards, bounds, and generalized semantics
• Pure extensions, proof rules, and hybrid axiomatics
• A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
• Henkin and Hybrid Logic
• Hybrid logic meets IF modal logic
• Refinement in hybridised institutions
• Model checking for hybrid branching-time logics
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Axiomatization of hybrid logic of link variations

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)