Pages that link to "Item:Q3647283"

The following pages link to Why does the proof-theory of hybrid logic work so well? (Q3647283):

Displaying 2 items.

• ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
• Resolution in Modal, Description and Hybrid Logic (Q2772883) (← links)