Pages that link to "Item:Q3160549"
From MaRDI portal
The following pages link to Constructive interpolation in hybrid logic (Q3160549):
Displaying 5 items.
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← 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)
