The following pages link to (Q4789449):
Displaying 7 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- Tableaux for some modal-tense logics Graham Priest's fashion (Q2144188) (← links)
- On the origin of logical determinism in Babylonia (Q2239386) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
