Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

DOI10.1007/978-3-642-02261-6_29zbMATH Open1246.03052OpenAlexW1524928381MaRDI QIDQ3638296FDOQ3638296

Authors: 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

Recommendations

• Labelled sequent calculus for inquisitive logic
• First-order inquisitive pair logic
• A Multi-type Calculus for Inquisitive Logic
• Inquisitive logic
• Propositional inquisitive logic: a survey

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Pure extensions, proof rules, and hybrid axiomatics
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Sequent Calculi for Some Strict Implication Logics
• A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic

Cited In (8)

• A Multi-type Calculus for Inquisitive Logic
• Questions as information types
• Inquisitive logic
• First-order inquisitive pair logic
• Labelled sequent calculus for inquisitive logic
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Finite-valued semantics for canonical labelled calculi
• Inquisitive dynamic epistemic logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638296)