Introduces constructive neighbourhood semantics and an adapted structured calculus for intuitionistic monotone modal logic IM, proving decidability and noting analogies to classical variants of M and K.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2representative 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.
citing papers explorer
-
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
Introduces constructive neighbourhood semantics and an adapted structured calculus for intuitionistic monotone modal logic IM, proving decidability and noting analogies to classical variants of M and K.
-
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.