The following pages link to (Q4636041):
Displayed 3 items.
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization (Q5006836) (← links)
- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts (Q6119334) (← links)