A complete labelled sequent calculus is developed for inquisitive first-order modal logic by extending prior work, with proofs of strong completeness, rule invertibility, and cut admissibility.
Consequence and inference in the realm of questions
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
fields
cs.LO 3verdicts
UNVERDICTED 3representative citing papers
InqAL extends inquisitive neighborhood logic to concurrent game structures, proves expressive equivalence to part of coalition logic, and supplies a complete axiomatization with decidability via finite model property plus a representation theorem for effectivity functions.
Satisfiability of propositional logic with nonemptiness atom NE in team semantics is NP-complete, validity coNP-complete, and model checking polynomial-time.
citing papers explorer
-
Labelled Sequents for Inquisitive First-Order Modal Logic
A complete labelled sequent calculus is developed for inquisitive first-order modal logic by extending prior work, with proofs of strong completeness, rule invertibility, and cut admissibility.
-
Inquisitive Action Logic
InqAL extends inquisitive neighborhood logic to concurrent game structures, proves expressive equivalence to part of coalition logic, and supplies a complete axiomatization with decidability via finite model property plus a representation theorem for effectivity functions.
-
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Satisfiability of propositional logic with nonemptiness atom NE in team semantics is NP-complete, validity coNP-complete, and model checking polynomial-time.