Basic intuitionistic conditional logic
From MaRDI portal
Publication:2000668
DOI10.1007/S10992-018-9471-4zbMATH Open1457.03047OpenAlexW2883161803WikidataQ129488426 ScholiaQ129488426MaRDI QIDQ2000668FDOQ2000668
Publication date: 28 June 2019
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-018-9471-4
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Counterfactuals.
- Some theorems about the sentential calculi of Lewis and Heyting
- Basic conditional logic
- Does the deduction theorem fail for modal logic?
- A simplification of the logic of conditionals
- Notes on conditional logic
- Logics in access control: a conditional approach
- Models for stronger normal intuitionistic modal logics
- A modal extension of intuitionist logic
- Models for normal intuitionistic modal logics
- Completeness and decidability of three logics of counterfactual conditionals1
- The finite model property for MIPQ and some consequences
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus
Cited In (7)
- Intuitionistic conditional logics
- Basic predicate calculus
- Counterfactual assumptions and counterfactual implications
- An intuitionistically complete system of basic intuitionistic conditional logic
- Hennessy-Milner properties via topological compactness
- Foundations of conditional logic
- Stalnakerian connexive logics
This page was built for publication: Basic intuitionistic conditional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2000668)
