Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

DOI10.1007/978-3-642-02261-6_29zbMath1246.03052OpenAlexW1524928381MaRDI QIDQ3638296

Katsuhiko Sano

Publication date: 2 July 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_29

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

Inquisitive logic ⋮ Questions as information types ⋮ Inquisitive dynamic epistemic logic ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ Finite-valued semantics for canonical labelled calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Pure extensions, proof rules, and hybrid axiomatics
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
• Sequent Calculi for Some Strict Implication Logics

This page was built for publication: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic