A completeness theorem for theories of kind W
From MaRDI portal
Publication:2556327
DOI10.1007/BF02282544zbMath0249.02014MaRDI QIDQ2556327
Publication date: 1971
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) General logic (03B99) Categoricity and completeness of theories (03C35)
Related Items
Non-Fregean propositional logic with quantifiers ⋮ From Formal Theory of Knowledge to Non-Fregean Logic ⋮ ON THE LAWS OF FORM ⋮ On 'generalized logics' ⋮ Translatability in non-Fregean theories ⋮ Quasi-completeness in non-Fregean logic ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
Cites Work
This page was built for publication: A completeness theorem for theories of kind W