A Multi-type Calculus for Inquisitive Logic

DOI10.1007/978-3-662-52921-8_14zbMath1429.03128arXiv1604.00936OpenAlexW2498531142MaRDI QIDQ2820696

Fan Yang, Alessandra Palmigiano, Giuseppe Greco, Sabine Frittella

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.00936

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (14)

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ Linear Logic Properly Displayed ⋮ Propositional union closed team logics ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Questions and dependency in intuitionistic logic ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Semi De Morgan logic properly displayed ⋮ Unnamed Item ⋮ Inquisitive Heyting algebras ⋮ Bilattice logic properly displayed ⋮ Proper multi-type display calculi for rough algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Algebraic foundations for the semantic treatment of inquisitive content
• Inquisitive logic
• From IF to BI. A tale of dependence and separation
• On maximal intermediate logics with the disjunction property
• Questions as information types
• Display logic
• Dynamic Epistemic Logic Displayed
• Multi-type display calculus for propositional dynamic logic
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Inquisitive Semantics: Two Possibilities for Disjunction
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Compositional semantics for a language of imperfect information
• Towards a Logic of Information Exchange

This page was built for publication: A Multi-type Calculus for Inquisitive Logic