A Multi-type Calculus for Inquisitive Logic
type: Item
instance of: scholarly article
title: A Multi-type Calculus for Inquisitive Logic
zbMATH Open document ID: 1429.03128
DOI: 10.1007/978-3-662-52921-8_14
author: Sabine Frittella
author: Giuseppe Greco
author: Alessandra Palmigiano
author: Fan Yang
published in: Logic, Language, Information, and Computation
publication date: 2016-09-09T00:00:00Z
full work available at URL: https://arxiv.org/abs/1604.00936
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 6625889
MaRDI profile type: Publication
OpenAlex ID: W2498531142
arXiv ID: 1604.00936
cites work: From IF to BI. A tale of dependence and separation
cites work: Display logic
cites work: Questions as information types
cites work: Inquisitive logic
cites work: Multi-type display calculus for propositional dynamic logic
cites work: Dynamic Epistemic Logic Displayed
cites work: Inquisitive Semantics: Two Possibilities for Disjunction
cites work: Towards a Logic of Information Exchange
cites work: Compositional semantics for a language of imperfect information
cites work: Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
cites work: On maximal intermediate logics with the disjunction property
cites work: Q4774021
cites work: Algebraic foundations for the semantic treatment of inquisitive content
cites work: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
cites work: Q3446107
cites work: Propositional logics of dependence
Recommended article: Labelled sequent calculus for inquisitive logic
Recommended article: Quantified multimodal logics in simple type theory
Recommended article: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Recommended article: Calculi for many-valued logics
Recommended article: Q3703883
Recommended article: Multimodal and intuitionistic logics in simple type theory
Recommended article: Q5104713
Recommended article: Multi-type display calculus for semi De Morgan logic
Recommended article: Q4282512
Recommended article: A refinement calculus for logic programs
description: scientific article; zbMATH DE number 6625889