scientific article; zbMATH DE number 1140579

MaRDI QIDQ4385349zbMATH OpenFDO

Authors Seiki Akama

Publication date 13 April 1998

zbMATH Keywords

completenessconstructive modal logicdecidabilityfinite model propertyKripke-style semanticslogic of constructible falsitystrong negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50)

Recommendations

• Modal Operators over Constructive Logic
• Constructive modal logics. I
• scientific article; zbMATH DE number 3841820
• On the Proof Method for Constructive Falsity

Cited in

(15)

• H. B. Smith on modality: A logical reconstruction
• Constructive predicate logic with strong negation and model theory
• Normal modal substructural logics with strong negation
• The problem of constructing a theory of actual modalities
• scientific article; zbMATH DE number 3887681 (Why is no real title available?)
• scientific article; zbMATH DE number 3841820 (Why is no real title available?)
• scientific article; zbMATH DE number 4204322 (Why is no real title available?)
• On the Proof Method for Constructive Falsity
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• Alleged Assassins: Realist and Constructivist Semantics for Modal Modification
• Constructive modalities with provability smack
• Wijesekera-style constructive modal logics
• Constructive modal logics. I
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385349)