The following pages link to (Q4636041):
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)
- (Q4443197) (← links)
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization (Q5006836) (← links)