Author of the publication

Update Semantics for Imperatives with Priorities.

, and . LORI, volume 6953 of Lecture Notes in Computer Science, page 125-138. Springer, (2011)

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

A Simple Logic of the Hide and Seek Game., , , and . Stud Logica, 111 (5): 821-853 (October 2023)Logic in the Community., , and . ICLA, volume 6521 of Lecture Notes in Computer Science, page 178-188. Springer, (2011)General Dynamic Dynamic Logic., , and . Advances in Modal Logic, page 239-260. College Publications, (2012)New Logical Perspectives on Monotonicity., and . TLLM, volume 12564 of Lecture Notes in Computer Science, page 1-12. Springer, (2020)Reasons to Believe in a Social Environment., and . DEON, page 155-170. College Publications, (2016)Dynamic logic of preference upgrade., and . J. Appl. Non Class. Logics, 17 (2): 157-182 (2007)Facebook and the epistemic logic of friendship., , and . TARK, (2013)A Two-Level Perspective on Preference.. J. Philosophical Logic, 40 (3): 421-439 (2011)Editorial., , and . Synthese, 165 (2): 155-157 (2008)Logic and AI in China: An Introduction., and . Minds Mach., 23 (1): 1-4 (2013)