articleOct 1, 2025GOLD OA

Modal Dependence Logic

JVJouko Väänánen

University of Amsterdam

Indexed incrossref

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.

Citation impact

74
total citations
FWCI
4.65
Percentile
100%
References
6
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Normal modal logic
  • Accessibility relation
  • Modal logic
  • Modal
  • Equivalence (formal languages)
  • Multimodal logic
  • Semantics (computer science)
  • S5
No related works found for this paper.