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.
Source: Routledge eBooks
Author: Jouko Väänänen
Institution: University of Amsterdam
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W83792636
