Pages that link to "Item:Q4982124"
From MaRDI portal
The following pages link to Hybrid Tableaux for the Difference Modality (Q4982124):
Displayed 6 items.
- Lightweight hybrid tableaux (Q631086) (← links)
- Symmetric blocking (Q897931) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)