Pages that link to "Item:Q5477453"

The following pages link to Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators (Q5477453):

Displaying 4 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)
• Undecidability of Multi-modal Hybrid Logics (Q2867946) (← links)
• Coalgebraic Hybrid Logic (Q3617726) (← links)