The following pages link to (Q5546768):
Displayed 29 items.
- Current trends in substructural logics (Q266641) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- The power of a propositional constant (Q742479) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Worlds, models and descriptions (Q863186) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Information and impossibilities (Q1276417) (← links)
- A classically-based theory of impossible worlds (Q1276427) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- A characterisation of some \(\mathbf{Z}\)-like logics (Q1653556) (← links)
- Modal logics in the vicinity of S1 (Q1924324) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
- Perfect prediction in normal form: superrational thinking extended to non-symmetric games (Q2197079) (← links)
- Models for relevant modal logics (Q2277439) (← links)
- Actuality in propositional modal logic (Q2377050) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- S7 (Q2446683) (← links)
- Validity and necessity (Q2572383) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Priest on Negation (Q3305669) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- Finite non-deterministic semantics for some modal systems (Q4586135) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Q4608558) (← links)
- Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic (Q4912982) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- (Q5119388) (← links)