Basic intuitionistic conditional logic

DOI10.1007/S10992-018-9471-4zbMath1457.03047OpenAlexW2883161803WikidataQ129488426 ScholiaQ129488426MaRDI QIDQ2000668

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

Heyting algebraKripke semanticsintuitionistic logicconditional logicchellas semantics

Mathematics Subject Classification ID

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

Related Items (3)

Hennessy-Milner properties via topological compactness ⋮ Intuitionistic conditional logics ⋮ Stalnakerian connexive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Notes on conditional logic
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• A simplification of the logic of conditionals
• Basic conditional logic
• The finite model property for MIPQ and some consequences
• A modal extension of intuitionist logic
• Logics in access control: a conditional approach
• A Conditional Constructive Logic for Access Control and Its Sequent Calculus
• Completeness and decidability of three logics of counterfactual conditionals¹
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Basic intuitionistic conditional logic