Pages that link to "Item:Q1047795"
From MaRDI portal
The following pages link to Terminating tableau systems for hybrid logic with difference and converse (Q1047795):
Displayed 7 items.
- Lightweight hybrid tableaux (Q631086) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)