
85Information Flow: The Logic of Distributed SystemsCambridge University Press. 1997.Presents a mathematically rigorous, philosophically sound foundation for a science of information.

85Logical dynamics of belief change in the communitySynthese 191 (11): 24032431. 2014.In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We also cons…Read more

51The scope of Turing's analysis of effective proceduresMinds and Machines 12 (2): 203220. 2002.Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and w…Read more

50Hybrid languagesJournal of Logic, Language and Information 4 (3): 251272. 1995.Hybrid languages have both modal and firstorder characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding firstorder language, that full firstorder expressivity can be gained by adding the universal modality, and that all three binders can for…Read more

49A Note on Freedom from Detachment in the Logic of ParadoxNotre Dame Journal of Formal Logic 54 (1): 1520. 2013.We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing

44Logic, Language and Computation: (edited book)Center for the Study of Language and Inf. 1996.This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wideranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social s…Read more

7Flexibility in Ceteris Paribus ReasoningAustralasian Journal of Logic 10. 2011.Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I prefer my raincoat over my umbrella, everything else being equal”. In earlier work, a logical analysis is offered in which sets of formulas Γ, embedded in modal operators, provide necessary and sufficient conditions for things to be equal in ceteris paribus clauses. For most laws, the set of things allowed to vary is small, often finite, and so Γ is typically infinite.…Read more

3General Dynamic Dynamic LogicIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 239260. 2012.

Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455 (edited book)Springer. 2017.

Channels: From Logic to ProbabilityIn G. Sommaruga (ed.), Channels: From Logic to Probability, . 2009.

Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455. (edited book)Springer. 2017.

What Are Hybrid Languages?In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 4162. 1998.

What Are Hybrid Languages?In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1, Csli Publications. pp. 4162. 1998.
Areas of Specialization
9 more
Areas of Interest
23 more