( en | de | ru )

 

Disambiguierung von "van Benthem, Johan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Common knowledge in update logics.

, , und . TARK, Seite 253-261. National University of Singapore, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Walter ˜vanœ Benthem

Johan Van den Bergh

Johan Niklaas Van Oppen

Johan van der Zande

Christian Benthem

 

Weitere Publikationen von Autoren mit dem selben Namen

'On Being Informed': Update Logics for Knowledge States.. JELIA, Volume 1919 von Lecture Notes in Computer Science, Seite 1. Springer, (2000)Modal logic: a semantic perspective., und . Handbook of Modal Logic, Volume 3 von 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., , und . AiML, Seite 135-154. College Publications, (2022)Evidence Logic: A New Look at Neighborhood Structures., , und . Advances in Modal Logic, Seite 97-118. College Publications, (2012)The Tree of Knowledge in Action: Towards a Common Perspective., und . Advances in Modal Logic, Seite 87-106. College Publications, (2006)Toward a Dynamic Logic of Questions., und . J. Philosophical Logic, 41 (4): 633-669 (2012)Decisions, Actions, and Games: A Logical Perspective.. ICLA, Volume 5378 von Lecture Notes in Computer Science, Seite 1-22. Springer, (2009)An Essay on Sabotage and Obstruction.. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 268-276. Springer, (2005)Lindström theorems for fragments of first-order logic, , und . Logical Methods in Computer Science, (2009)