( 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

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