Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Scope of Turing's Analysis of Effective Procedures.. Minds and Machines, 12 (2): 203-220 (2002)When Names Are Not Commonly Known: Epistemic Logic with Assignments., and . Advances in Modal Logic, page 611-628. College Publications, (2018)Channels: From Logic to Probability.. Formal Theories of Information, volume 5363 of Lecture Notes in Computer Science, page 193-233. Springer, (2009)Teaching Natural Deduction in the Right Order with Natural Deduction Planner., and . FLAP, (2017)Facebook and the epistemic logic of friendship., , and . TARK, (2013)The Dynamics of Peer Pressure., and . LORI, volume 6953 of Lecture Notes in Computer Science, page 390-391. Springer, (2011)Boolean Network Games and Iterated Boolean Games., and . LORI, volume 9394 of Lecture Notes in Computer Science, page 353-365. Springer, (2015)How Questions Guide Choices: A Preliminary Logical Investigation., and . Australasian Conference on Artificial Intelligence, volume 7106 of Lecture Notes in Computer Science, page 462-471. Springer, (2011)The Logic of Priori and a Posteriori Rationality in Strategic Games., and . LORI, volume 8196 of Lecture Notes in Computer Science, page 218-227. Springer, (2013)An Analytic Logic of Aggregation., and . ICLA, volume 5378 of Lecture Notes in Computer Science, page 146-161. Springer, (2009)