A simple logic of functional dependence

DOI10.1007/s10992-020-09588-zMaRDI QIDQ2240545

Alexandru Baltag, J. F. A. K. van Benthem

Publication date: 4 November 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.14946

zbMATH Keywords

modal logic; functional dependence; epistemic logic; generalized assignment semantics; logics of dependence

Mathematics Subject Classification ID

03-XX: Mathematical logic and foundations

Related Items

Intelligence in Strategic Games, A simple logic of the hide and seek game, A logic of ``black box classifier systems, COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES, Unification of Modal Logic via Topological Categories, Reasoning about dependence, preference and coalitional power, INTERLEAVING LOGIC AND COUNTING, On the subtle nature of a simple logic of the hide and seek game

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Toward a dynamic logic of questions
• Handbook of philosophical logic. Vol. 8
• From IF to BI. A tale of dependence and separation
• Everything else being equal: a modal logic for ceteris paribus preferences
• Axioms and algorithms for inferences involving probabilistic independence
• Modal languages and bounded fragments of predicate logic
• Multi-dimensional modal logic
• A knowledge based semantics of messages
• Power structures
• Dependence and independence
• Epistemic operators in dependence logic
• Team semantics for interventionist counterfactuals: observations vs. interventions
• Explicating logical independence
• Logics for first-order team properties
• Logics of public communications
• Guards, bounds, and generalized semantics
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• Beyond Knowing That: A New Generation of Epistemic Logics
• Changing a Semantics: Opportunism or Courage?
• Dynamic Epistemic Logic and Knowledge Puzzles
• Independence, randomness and the axiom of choice
• Compositional semantics for a language of imperfect information
• Inquisitive Semantics
• The decidability of dependency in intuitionistic propositional logic
• Cylindric modal logic
• On the Restraining Power of Guards
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
• Dependency as Question Entailment
• Supervenience, Dependence, Disjunction
• Knowing Values and Public Inspection
• Tolerance logic