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 .