Pages that link to "Item:Q5477453"
From MaRDI portal
The following pages link to Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators (Q5477453):
Displaying 8 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Simulation and transfer results in modal logic -- a survey (Q1372357) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- Unsorted functional translations (Q2825403) (← links)
- Undecidability of multi-modal hybrid logics (Q2867946) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Hybrid completeness (Q4210769) (← links)