scientific article; zbMATH DE number 975275

MaRDI QIDQ5283965zbMATHFDO

Authors Piotr Łukowski

Publication date 4 February 1997

zbMATH Keywords

modal logicHeyting-Brouwer logicKripke-style semantics

Mathematics Subject Classification ID

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

Recommendations

• From intuitionism to Brouwer's modal logic
• scientific article; zbMATH DE number 3981153
• scientific article; zbMATH DE number 3896902
• scientific article; zbMATH DE number 51606

Cited in

(13)

• Extensions of Priest-da Costa logic
• The semi Heyting-Brouwer logic
• On Gödel's modal interpretation of the intuitionistic logic
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• scientific article; zbMATH DE number 4090900 (Why is no real title available?)
• Information Quanta and Approximation Operators: Once More Around the Track
• Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• scientific article; zbMATH DE number 3896902 (Why is no real title available?)
• A ``distributive or a ``collective approach to sentences?
• From intuitionism to Brouwer's modal logic
• scientific article; zbMATH DE number 2099412 (Why is no real title available?)
• scientific article; zbMATH DE number 3908428 (Why is no real title available?)

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 Q5283965)