Pages that link to "Item:Q3370762"
From MaRDI portal
The following pages link to Interpolation for extended modal languages (Q3370762):
Displaying 37 items.
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games (Q970089) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Model checking for hybrid logic (Q1047796) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Local properties in modal logic (Q1761295) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Model checking for hybrid branching-time logics (Q2291813) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- A Hybridization of Irreflexive Modal Logics (Q2867951) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- An Analytic Logic of Aggregation (Q3601806) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- From \textit{counterfactual} conditionals to \textit{temporal} conditionals (Q6053839) (← links)
