scientific article; zbMATH DE number 3865242
From MaRDI portal
Publication:3333006
zbMATH Open0544.03001MaRDI QIDQ3333006FDOQ3333006
Authors: Luis Fariñas del Cerro, Andres R. Raggio 
Publication date: 1983
Title of this publication is not available (Why is that?)
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 (21)
- Approximations of modal logics: \(\mathbf K\) and beyond
- Models for normal intuitionistic modal logics
- Talkin'bout consistency, or: When logically possible becomes possible
- Title not available (Why is that?)
- Thirty years of Epistemic Specifications
- One-step modal logics, intuitionistic and classical. I
- Temporal Equilibrium Logic with past operators
- Intuitionistic tense and modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Autoepistemic equilibrium logic and epistemic specifications
- Models for stronger normal intuitionistic modal logics
- Title not available (Why is that?)
- Some Results and Problems in The Modal Set Theory MST
- Title not available (Why is that?)
- An application of Rieger-Nishimura formulas to the intuitionistic modal logics
- Title not available (Why is that?)
- Some elementary results in intuitionistic model theory
- Title not available (Why is that?)
- 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)
