Pages that link to "Item:Q1047795"

The following pages link to Terminating tableau systems for hybrid logic with difference and converse (Q1047795):

Displaying 3 items.

• Completeness in hybrid type theory (Q484101) (← links)
• Lightweight hybrid tableaux (Q631086) (← links)
• Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)