scientific article; zbMATH DE number 3865242

zbMATH Open0544.03001MaRDI QIDQ3333006FDOQ3333006

Authors Luis Fariñas del Cerro, Andres R. Raggio

Publication date 1983

zbMATH Keywords

Kripke semanticsintuitionistic modal logicsweak possibility

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1791673
• scientific article; zbMATH DE number 3950488
• On an intuitionistic modal logic
• Modality and possibility in some intuitionistic modal logics
• Some compactness results for modal logic
• scientific article; zbMATH DE number 3957057
• scientific article; zbMATH DE number 1418447
• Some results on finite axiomatizability in modal logic
• On modal renderings of intuitionistic propositional logic
• scientific article; zbMATH DE number 3963793

Cited in

(25)

• Oskar Becker and the modal translation of intuitionistic logic
• Which classical correspondence is valid in intuitionistic modal logic?
• Preface to Intuitionistic modal logic 2017
• Approximations of modal logics: \(\mathbf K\) and beyond
• Thirty years of Epistemic Specifications
• Intuitionistic tense and modal logic
• On classical behavior of intuitionistic modalities
• An application of Rieger-Nishimura formulas to the intuitionistic modal logics
• Talkin'bout consistency, or: When logically possible becomes possible
• scientific article; zbMATH DE number 7668111 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• scientific article; zbMATH DE number 4035784 (Why is no real title available?)
• scientific article; zbMATH DE number 3865243 (Why is no real title available?)
• Intuitionistic modality and Beth semantics
• Some elementary results in intuitionistic model theory
• Autoepistemic equilibrium logic and epistemic specifications
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• scientific article; zbMATH DE number 1507194 (Why is no real title available?)
• Some Results and Problems in The Modal Set Theory MST
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)
• One-step modal logics, intuitionistic and classical. I
• Temporal equilibrium logic with past operators
• scientific article; zbMATH DE number 1791673 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (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 Q3333006)