Author of the publication

Process Logic: Expressiveness, Decidability, Completeness

, , and . FOCS, page 129-142. IEEE Computer Society, (1980)

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

Distributed Processes and the Logic of Knowledge., and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 256-268. Springer, (1985)A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief., and . ICLA, volume 8923 of Lecture Notes in Computer Science, page 146-157. Springer, (2015)Logical Omniscience.. LCC, volume 960 of Lecture Notes in Computer Science, page 22-29. Springer, (1994)Some Puzzles About Probability and Probabilistic Conditionals.. LFCS, volume 4514 of Lecture Notes in Computer Science, page 449-456. Springer, (2007)Game Logic - An Overview., and . Stud Logica, 75 (2): 165-182 (2003)Monotonic and non-monotonic logics of knowledge.. Fundam. Informaticae, 15 (3-4): 255-274 (1991)Levels of Knowledge in Distributed Computing. LICS, page 314-321. IEEE Computer Society, (1986)Social Software.. Synthese, 132 (3): 187-211 (2002)Finite information logic., and . Ann. Pure Appl. Log., 134 (1): 83-93 (2005)Relevance Sensitive Non-Monotonic Inference on Belief Sequences., , and . J. Appl. Non Class. Logics, 11 (1-2): 131-150 (2001)