The following pages link to (Q4394920):
Displayed 12 items.
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Second-Order False-Belief Tasks: Analysis and Formalization (Q2820690) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization (Q5006836) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)