Basic intuitionistic conditional logic
type: Item
instance of: scholarly article
title: Basic intuitionistic conditional logic
zbMATH Open document ID: 1457.03047
author: Yale Weiss
published in: Journal of Philosophical Logic
publication date: 2019-06-28T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 7075014
zbMATH Keywords: conditional logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: chellas semantics
zbMATH Keywords: Kripke semantics
zbMATH Keywords: Heyting algebra
MaRDI profile type: Publication
full work available at URL: s10992-018-9471-4
OpenAlex ID: W2883161803
cites work: Models for normal intuitionistic modal logics
cites work: A modal extension of intuitionist logic
cites work: Basic conditional logic
cites work: Q3867808
cites work: Models for stronger normal intuitionistic modal logics
cites work: Q4133603
cites work: The finite model property for MIPQ and some consequences
cites work: Q5582318
cites work: A Conditional Constructive Logic for Access Control and Its Sequent Calculus
cites work: Logics in access control: a conditional approach
cites work: Does the deduction theorem fail for modal logic?
cites work: Q5509675
cites work: Completeness and decidability of three logics of counterfactual conditionals1
cites work: Counterfactuals.
cites work: A simplification of the logic of conditionals
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Q3900019
cites work: Q5734410
cites work: Notes on conditional logic
Wikidata QID: Q129488426
DOI: 10.1007/S10992-018-9471-4
description: scientific article; zbMATH DE number 7075014