Pages that link to "Item:Q2987043"
From MaRDI portal
The following pages link to Completeness and termination for a Seligman-style tableau system (Q2987043):
Displaying 4 items.
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Tableau method and NEXPTIME-completeness of DEL-sequents (Q2825404) (← links)
- A Seligman-Style Tableau System (Q2870122) (← links)
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization (Q5006836) (← links)