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.
A Modal Logic for Coalitional Power in Games.Journal of Logic and Computation 2002,12(1), 149–166
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
fields
cs.LO 4years
2026 4verdicts
UNVERDICTED 4representative 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.
Value Coalition Logic reconstructs coalition logic with typed value assignments to states, proves truth-equivalence to the standard logic over coherent valuations, and derives new structural game forms from value projections.
Biprofile deviation logic proves soundness and completeness of H_bp for Dev(N) frames and introduces typed manipulation witnesses, boundary-row theorem, and factor-closure criterion for auditing report changes.
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.
-
Value Coalition Logic: A Typed Assignment-Based Reconstruction of Coalition Logic
Value Coalition Logic reconstructs coalition logic with typed value assignments to states, proves truth-equivalence to the standard logic over coherent valuations, and derives new structural game forms from value projections.
-
Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
Biprofile deviation logic proves soundness and completeness of H_bp for Dev(N) frames and introduces typed manipulation witnesses, boundary-row theorem, and factor-closure criterion for auditing report changes.