An incomplete system of modal logic

DOI10.1007/BF00649480zbMath0589.03005OpenAlexW1985302977MaRDI QIDQ1073780

Giovanni Sambin, George Boolos

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1007/bf00649480

zbMATH Keywords

provabilityincompletenessLöb's theoremmodal propositional logic

Mathematics Subject Classification ID

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

Related Items (9)

Topology and duality in modal logic ⋮ Neighborhood hypergraph based classification algorithm for incomplete information system ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Mathematical modal logic: A view of its evolution ⋮ Some descending chains of incomplete modal logics ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Kripke incomplete logics containing KTB ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ A simple incomplete extension of T which is the union of two complete modal logics with f. m. p

Cites Work

• Intensional logics without iterative axioms
• Unnamed Item

This page was built for publication: An incomplete system of modal logic