Transitivity follows from Dummett's axiom

DOI10.1111/j.1755-2567.1978.tb00170.xzbMath0422.03004OpenAlexW2064771626WikidataQ114009101 ScholiaQ114009101MaRDI QIDQ3855150

Willem J. Blok, J. F. A. K. van Benthem

Publication date: 1978

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1978.tb00170.x

zbMATH Keywords

transitivityKripke frameDummett's axiomincomplete modal logicmodal deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

Representing the knowledge of Turing machines ⋮ Cut-free sequent and tableau systems for propositional Diodorean modal logics ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Modal frame correspondences and fixed-points ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Uniform Lyndon interpolation property in propositional modal logics

This page was built for publication: Transitivity follows from Dummett's axiom