A simple logic of functional dependence
From MaRDI portal
Publication:2240545
DOI10.1007/s10992-020-09588-zOpenAlexW3132707386MaRDI 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
Related Items (8)
On the subtle nature of a simple logic of the hide and seek game ⋮ 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 ⋮ Intelligence in Strategic Games
Cites Work
- 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
- 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
This page was built for publication: A simple logic of functional dependence
