Pages that link to "Item:Q3855150"
From MaRDI portal
The following pages link to Transitivity follows from Dummett's axiom (Q3855150):
Displaying 7 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Representing the knowledge of Turing machines (Q1330015) (← links)
- Cut-free sequent and tableau systems for propositional Diodorean modal logics (Q1337606) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
