The following pages link to (Q4342093):
Displayed 26 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Some embedding theorems for conditional logic (Q853813) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- 2-sequent calculus: A proof theory of modalities (Q1207545) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Modal logics with the MacIntosh rule (Q1316410) (← links)
- Towards automating duality (Q1343394) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Logic of knowledge and utterance and the liar (Q1386685) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- Taming logic (Q1909607) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- A modal logic for subjective default reasoning (Q1978244) (← links)
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic (Q2276939) (← links)
- A proof-theoretic view of necessity (Q2500817) (← links)
- Cut-free tableau calculi for some propositional normal modal logics (Q2563456) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)