Pages that link to "Item:Q3431972"

The following pages link to Tableau-based Decision Procedures for Hybrid Logic (Q3431972):

Displayed 3 items.

• A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) ‎ (← links)
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) ‎ (← links)
• Coalgebraic Hybrid Logic (Q3617726) ‎ (← links)