The following pages link to (Q3218106):
Displaying 9 items.
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Semantics-based nonmonotonic inference (Q1903578) (← links)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- Mally's deontic logic: reducibility and semantics (Q2516582) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- (Q3686700) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- Double Negation Operator in Logic N ∗ (Q5741336) (← links)