A simple incomplete extension of T which is the union of two complete modal logics with f. m. p

DOI10.1023/A:1021223721102zbMath1018.03019MaRDI QIDQ1868335

Roy A. Benton

Publication date: 27 April 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiccompletenessfinite model propertymodal extension of system T

Mathematics Subject Classification ID

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

Related Items

Minimal predicates, fixed-points, and definability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An incomplete system of modal logic
• Magari's theorem via the recession frame
• Intensional logics without iterative axioms
• Two simple incomplete modal logics
• Canonical modal logics and ultrafilter extensions
• An incompleteness theorem in modal logic
• A normal modal calculus between T and S4 without the finite model property