A Simple Logic of Functional Dependence

[1]  Gabriel Sandu,et al.  Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions , 2020, Journal of Philosophical Logic.

[2]  Lloyd Humberstone,et al.  Explicating Logical Independence , 2020, J. Philos. Log..

[3]  Erich Grädel,et al.  Guarded Teams: The Horizontally Guarded Case , 2020, CSL.

[4]  Fan Yang,et al.  Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings , 2019, Lecture Notes in Computer Science.

[5]  Gabriel Sandu,et al.  Interventionist Counterfactuals on Causal Teams , 2019, CREST@ETAPS.

[6]  Lloyd Humberstone,et al.  Supervenience, Dependence, Disjunction , 2018 .

[7]  Valentin Goranko,et al.  LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE , 2016, The Review of Symbolic Logic.

[8]  Yifeng Ding,et al.  Epistemic Logic with Functional Dependency Operator , 2017, ArXiv.

[9]  Yanjing Wang,et al.  Knowing Values and Public Inspection , 2016, ICLA.

[10]  Joseph Y. Halpern,et al.  Actual Causality , 2016, A Logical Theory of Causality.

[11]  Yanjing Wang,et al.  Beyond knowing that: a new generation of epistemic logics , 2016, ArXiv.

[12]  Fan Yang,et al.  Propositional logics of dependence , 2014, Ann. Pure Appl. Log..

[13]  Alexandru Baltag,et al.  To Know is to Know the Value of a Variable , 2016, Advances in Modal Logic.

[14]  Ivano Ciardelli,et al.  Dependency as Question Entailment , 2016, Dependence Logic.

[15]  J. F. A. K. van Benthem,et al.  Changing a Semantics: Opportunism or Courage? , 2014, 1411.7636.

[16]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction , 2014 .

[17]  Johan van Benthem,et al.  Logic in Games , 2014 .

[18]  Erich Grädel,et al.  Dependence and Independence , 2012, Stud Logica.

[19]  Samson Abramsky,et al.  From IF to BI: a tale of dependence and separation , 2011, ArXiv.

[20]  Merlijn Sevenster,et al.  Independence-Friendly Logic - a Game-Theoretic Approach , 2011, London Mathematical Society lecture note series.

[21]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Contents , 2014 .

[22]  Johan van Benthem,et al.  Toward a Dynamic Logic of Questions , 2009, J. Philos. Log..

[23]  Wiebe van der Hoek,et al.  Knowing More - From Global to Local Correspondence , 2009, IJCAI.

[24]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..

[25]  Jouko Väänänen,et al.  From IF to BI , 2009, Synthese.

[26]  J. Väänänen,et al.  Modal Dependence Logic , 2008 .

[27]  Louis Narens,et al.  Theories of Probability: An Examination of Logical and Qualitative Foundations , 2007 .

[28]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[29]  Jouko A. Väänänen,et al.  Dependence Logic - A New Approach to Independence Friendly Logic , 2007, London Mathematical Society student texts.

[30]  Maricarmen Martinez,et al.  The Stories of Logic and Information , 2006 .

[31]  Johan van Benthem Guards, Bounds, and Generalized Semantics , 2005, J. Log. Lang. Inf..

[32]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[33]  Maarten Marx,et al.  Tolerance Logic , 2001, J. Log. Lang. Inf..

[34]  J. Pearl Causality: Models, Reasoning and Inference , 2000 .

[35]  Erich Grädel,et al.  On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

[36]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[37]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[38]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[39]  Mark Ryan,et al.  Ideal Agents Sharing (some!) Knowledge , 1998, ECAI.

[40]  Wilfrid Hodges,et al.  Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.

[41]  Maarten Marx,et al.  Multi-dimensional modal logic , 1997, Applied logic series.

[42]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[43]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[44]  Helmut Schwichtenberg,et al.  Basic proof theory , 1996, Cambridge tracts in theoretical computer science.

[45]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[46]  Y. Venema Cylindric modal logic , 1993, Journal of Symbolic Logic.

[47]  Dick de Jongh,et al.  The Decidability of Dependency in Intuitionistic Propositional Logic , 1995, J. Symb. Log..

[48]  C. Brink Power structures , 1993 .

[49]  Michiel van Lambalgen,et al.  Independence, randomness and the axiom of choice , 1992, Journal of Symbolic Logic.

[50]  Dan Geiger,et al.  Axioms and Algorithms for Inferences Involving Probabilistic Independence , 1991, Inf. Comput..

[51]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[52]  Neil Tennant,et al.  A Defence of Arbitrary Objects , 1983 .

[53]  Jaakko Hintikka,et al.  The semantics of questions and the questions of semantics: Case studies in the interrelations of logic, semantics and syntax , 1976 .

[54]  Nuel D. Belnap,et al.  The logic of questions and answers , 1976 .

[55]  D. Scott On Engendering an Illusion of Understanding , 1971 .