Work

Modal Dependence Logic

Year: 2025
Type: book-chapter
Abstract: We introduce a modal language which involves the concept of dependence. We give two game-theoretic definitions for the semantics of the language, and one inductive, and prove the equivalence of all three.
Language: English
Open Access status: hybrid
OpenAlex ID: W83792636
FWCI: 6.323
Cites: 6
Cited by: 70
Related to: 20