Modal Dependence Logic
Jouko Väänánen
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.
Topics & Concepts
Normal modal logicAccessibility relationModal logicModalEquivalence (formal languages)Multimodal logicSemantics (computer science)S5Computer scienceDynamic logic (digital electronics)MathematicsAlgebra over a fieldProgramming languageDiscrete mathematicsPure mathematicsDescription logicPhysicsVoltageQuantum mechanicsTransistorChemistryPolymer chemistryLogic, Reasoning, and KnowledgeSemantic Web and OntologiesMulti-Agent Systems and Negotiation