( en | de | ru )

 

Disambiguation of "Van Benthem, Johan"

Author of the publication

copydeleteadd this publication to your clipboard
Higher-Order Logic

, and . page 189--243. Springer Netherlands, Dordrecht, (2001)
DOI: 10.1007/978-94-015-9833-0_3

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.

Walter ˜vanœ Benthem

Johan Van den Bergh

Johan Niklaas Van Oppen

Johan van der Zande

Christian Benthem

 

Other publications of authors with the same name

Toward a Dynamic Logic of Questions., and . J. Philosophical Logic, 41 (4): 633-669 (2012)Local Dependence and Guarding., , and . AiML, page 135-154. College Publications, (2022)The Tree of Knowledge in Action: Towards a Common Perspective., and . Advances in Modal Logic, page 87-106. College Publications, (2006)Evidence Logic: A New Look at Neighborhood Structures., , and . Advances in Modal Logic, page 97-118. College Publications, (2012)The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition.. Synthese library Kluwer, (1991)Modal logic: a semantic perspective., and . Handbook of Modal Logic, volume 3 of Studies in logic and practical reasoning, North-Holland, (2007)'On Being Informed': Update Logics for Knowledge States.. JELIA, volume 1919 of Lecture Notes in Computer Science, page 1. Springer, (2000)Lindström theorems for fragments of first-order logic, , and . Logical Methods in Computer Science, (2009)Exploring a theory of play.. TARK, page 12-16. ACM, (2011)Decisions, Actions, and Games: A Logical Perspective.. ICLA, volume 5378 of Lecture Notes in Computer Science, page 1-22. Springer, (2009)