scientific article; zbMATH DE number 975275

MaRDI QIDQ5283965zbMATH OpenFDO

Authors Piotr Łukowski

Publication date 4 February 1997

zbMATH Keywords

Heyting-Brouwer logicKripke-style semanticsmodal logic

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

(15)

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

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)