scientific article; zbMATH DE number 3865242

MaRDI QIDQ3333006zbMATH OpenFDO

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)

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

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)