The following pages link to (Q3185648):
Displaying 10 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Toward predicate approaches to modality (Q495650) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- When is a schema not a schema? On a remark by Suszko (Q2307299) (← links)
- Epistemic logic without closure (Q2695021) (← links)
- Priest on Negation (Q3305669) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)