Basic intuitionistic conditional logic

DOI10.1007/S10992-018-9471-4MaRDI QIDQ2000668zbMATH OpenOpenAlexWikidataFDO

Authors Yale Weiss

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

zbMATH Keywords

intuitionistic logicKripke semanticsHeyting algebraconditional logicchellas semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Intuitionistic conditional logics
• Embedding constructive K into intuitionistic K
• Some embedding theorems for conditional logic
• scientific article; zbMATH DE number 1303434
• Models for normal intuitionistic modal logics

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A conditional constructive logic for access control and its sequent calculus
• A modal extension of intuitionist logic
• A simplification of the logic of conditionals
• Basic conditional logic
• Completeness and decidability of three logics of counterfactual conditionals¹
• Counterfactuals.
• Does the deduction theorem fail for modal logic?
• Logics in access control: a conditional approach
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Notes on conditional logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The finite model property for MIPQ and some consequences

Cited in

(9)

• Stalnakerian connexive logics
• Intuitionistic conditional logics
• Some embedding theorems for conditional logic
• Basic predicate calculus
• A paraconsistent and substructural conditional logic
• Counterfactual assumptions and counterfactual implications
• An intuitionistically complete system of basic intuitionistic conditional logic
• Hennessy-Milner properties via topological compactness
• Foundations of conditional logic

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)