Pages that link to "Item:Q3160549"
From MaRDI portal
The following pages link to Constructive interpolation in hybrid logic (Q3160549):
Displaying 9 items.
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- Interpolation for extended modal languages (Q3370762) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Characterizing Interpolation Pairs in Infinitary Graded Logics (Q4461929) (← links)