Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johan van Benthem" ( http://dblp.L3S.de/Authors/Johan_van_Benthem )

URL (Homepage):  http://staff.science.uva.nl/~johan/  Author page on DBLP  Author page in RDF  Community of Johan van Benthem in ASPL-2

Publication years (Num. hits)
1975-1993 (15) 1994-1999 (17) 2000-2005 (16) 2006-2007 (15) 2008-2009 (16) 2010-2012 (15)
Publication types (Num. hits)
article(66) book(2) incollection(3) inproceedings(22) proceedings(1)
Venues (Conferences, Journals, ...)
Studia Logica(11) Synthese(9) Journal of Logic, Language and...(8) J. Symb. Log.(7) Journal of Applied Non-Classic...(6) J. Log. Comput.(5) TARK(5) Logic Journal of the IGPL(4) Fundam. Inform.(3) Handbook of Spatial Logics(2) IGTR(2) J. Philosophical Logic(2) LICS(2) LORI(2) Notre Dame Journal of Formal L...(2) Advances in Modal Logic(1) More (+10 of total 37)
Authors
Johan van Benthem(94) Eric Pacuit(8) Marco Aiello(5) Guram Bezhanishvili(4) Balder ten Cate(3) Barteld P. Kooi(3) Fenrong Liu(3) Jan van Eijck(3) Jelle Gerbrandy(3) John Symons(3) Vincent F. Hendricks(3) Alberto Policriti(2) Angelo Montanari(2) Giovanna D'Agostino(2) Ian Pratt-Hartmann(2) Jouko A. Väänänen(2) More (+10 of total 52)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 18 keywords
Results
Found 94 publication records. Showing 94 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson Sahlqvist Correspondence for Modal mu-calculus. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction. Search on Bibsonomy Games The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica Question-answer games. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Johan van Benthem, Eric Pacuit Dynamic Logics of Evidence-Based Beliefs. Search on Bibsonomy Studia Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem McCarthy variations in a modal key. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Theo Kuipers, Henk Visser Introduction. Search on Bibsonomy Synthese The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.) Proof, Computation and Agency - Logic at the Crossroads. Search on Bibsonomy 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Logic Games: From Tools to Models of Interaction. Search on Bibsonomy Proof, Computation and Agency The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Eric Pacuit Logical Dynamics of Evidence. Search on Bibsonomy LORI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Exploring a theory of play. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Eric Pacuit Temporal Logics of Agency. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Amélie Gheerbrant Game Solution, Epistemic Dynamics and Fixed-Point Logics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Fernando R. Velázquez-Quesada The dynamics of awareness. Search on Bibsonomy Synthese The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Davide Grossi, Fenrong Liu Deontics = Betterness + Priority. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Logic between Expressivity and Complexity. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi Dynamic Update with Probabilities. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Jeffrey’s rule, probability, update, dynamic epistemic logic
1Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit Merging Frameworks for Interaction. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Patrick Girard, Olivier Roy Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Balder ten Cate, Jouko A. Väänänen Lindström theorems for fragments of first-order logic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Johan van Benthem The information in intuitionistic logic. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Johan van Benthem, Eric Pacuit Logic and intelligent interaction. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Stefan Minica Toward a Dynamic Logic of Questions. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF issue management, logical dynamics, question
1Johan van Benthem Decisions, Actions, and Games: A Logical Perspective. Search on Bibsonomy ICLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Denis Bonnay Modal logic and invariance. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Johan van Benthem Logic and Reasoning: do the facts matter? Search on Bibsonomy Studia Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Psychology of reasoning, Self-correction, Interaction, Psychologism, Dynamic logic, Cognitive science
1Johan van Benthem, Vincent F. Hendricks, John Symons Editorial. Search on Bibsonomy Synthese The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling simultaneous games in dynamic logic. Search on Bibsonomy Synthese The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simultaneous games, Game logic, Evaluation games, IF logic, Branching quantifiers, Parallelism
1Johan van Benthem The many faces of interpolation. Search on Bibsonomy Synthese The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Cédric Dégremont Bridges between Dynamic Doxastic and Doxastic Temporal Logics. Search on Bibsonomy LOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Daisuke Ikegami Modal Fixed-Point Logic and Changing Models. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Aiello, Johan van Benthem, Elie el Khoury Visualizing Compositions of Services from Large Repositories. Search on Bibsonomy CEC/EEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Dynamic logic for belief revision. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Johan van Benthem, Fenrong Liu Dynamic logic of preference upgrade. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Johan van Benthem Rational Dynamics and Epistemic Logic in Games. Search on Bibsonomy IGTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Erratum: "Rational Dynamics and Epistemic Logic in Games". Search on Bibsonomy IGTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Vincent F. Hendricks, John Symons Editorial. Search on Bibsonomy Synthese The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem What is Spatial Logic? Search on Bibsonomy Handbook of Spatial Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Guram Bezhanishvili Modal Logics of Space. Search on Bibsonomy Handbook of Spatial Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.) Handbook of Spatial Logics Search on Bibsonomy 2007 DBLP  BibTeX  RDF
1Balder ten Cate, Johan van Benthem, Jouko A. Väänänen Lindstrom theorems for fragments of first-order logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jelle Gerbrandy, Eric Pacuit Merging frameworks for interaction: DEL and ETL. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jan van Eijck, Barteld P. Kooi Logics of communication and change. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac Multimo dal Logics of Products of Topologies. Search on Bibsonomy Studia Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies
1Johan van Benthem Modal Frame Correspondences and Fixed-Points. Search on Bibsonomy Studia Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Löb's Axiom, frame correspondence, modal ?-calculus, fixed-point
1Johan van Benthem, Vincent F. Hendricks, John Symons Editorial. Search on Bibsonomy Synthese The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Eric Pacuit The Tree of Knowledge in Action: Towards a Common Perspective. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Johan van Benthem Minimal predicates, fixed-points, and definability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  BibTeX  RDF
1Johan van Benthem Guards, Bounds, and Generalized Semantics. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Johan van Benthem An Essay on Sabotage and Obstruction. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Open Problems in Logic and Games. Search on Bibsonomy We Will Show Them! The full citation details ... 2005 DBLP  BibTeX  RDF
1Johan van Benthem, Jan van Eijck, Barteld P. Kooi Common knowledge in update logics. Search on Bibsonomy TARK The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Logic Games are Complete for Game Logics. Search on Bibsonomy Studia Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic game, game algebra, powers, dynamic logic
1Johan van Benthem, Guram Bezhanishvili, Mai Gehrke Euclidean Hierarchy in Modal Logic. Search on Bibsonomy Studia Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Topo-bisimulation, serial set, chequered set, Euclidean hierarchy
1Marco Aiello, Johan van Benthem, Guram Bezhanishvili Reasoning About Space: The Modal Way. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Conditional Probability Meets Update Logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Bayes' law, probability, update, epistemic logic, dynamic logic
1Johan van Benthem, Robert van Rooy Connecting the Different Faces of Information. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Aiello, Johan van Benthem A Modal Walk Through Space. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2002 DBLP  BibTeX  RDF
1Johan van Benthem Extensive Games as Process Models. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem Ensemble-based prediction of SAT search behaviour. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Johan van Benthem (eds.) Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), Certosa di Pontignano, University of Siena, Italy, July 8-10, 2001 Search on Bibsonomy TARK The full citation details ... 2001   RDF
1Johan van Benthem Information Transfer across Chu Spaces. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Johan van Benthem `On Being Informed': Update Logics for Knowledge States. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Johan van Benthem The Range of Modal Logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 1999 DBLP  BibTeX  RDF
1Johan van Benthem Temporal Patterns and Modal Structure. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games. Search on Bibsonomy J. Symb. Log. The full citation details ... 1999 DBLP  BibTeX  RDF
1Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, David Israel Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Program Constructions that are Safe for Bisimulation. Search on Bibsonomy Studia Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - II. Search on Bibsonomy Studia Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Modality, relational guards, and decidability (invited paper). Search on Bibsonomy RelMiCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Johan van Benthem Process Operations in Extended Dynamic Logics. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Modal Foundations for Predicate Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - I. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Yoav Shoham Editorial: Cognitive Actions in Focus. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Frank D. Anger, Rita V. Rodríguez, Hans W. Guesgen, Johan van Benthem Space, Time, and Computation: Trends and Problems. Search on Bibsonomy Appl. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Hajnal Andréka, Johan van Benthem, István Németi Back and Forth Between Modal Logic and Classical Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Dag Westerståhl Directions in generalized quantifier theory. Search on Bibsonomy Studia Logica The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jan van Eijck, Vera Stebletsova Modal Logic, Transition Systems and Processes. Search on Bibsonomy J. Log. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jan A. Bergstra Logic of Transition Systems. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Editorial: The Elusive Locus of Logicality. Search on Bibsonomy J. Log. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Modal Frame Classes Revisited. Search on Bibsonomy Fundam. Inform. The full citation details ... 1993 DBLP  BibTeX  RDF
1Johan van Benthem The Logic of Cognitive Action. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Johan van Benthem Logic as programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 1992 DBLP  BibTeX  RDF
1Johan van Benthem Epistemic Logic: From Knowledge to Cognition. Search on Bibsonomy TARK The full citation details ... 1992 DBLP  BibTeX  RDF
1Johan van Benthem Editorial. Search on Bibsonomy J. Log. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Johan van Benthem Reasoning and Programming: Analogies between Logic and Computation. Search on Bibsonomy ISLP The full citation details ... 1991 DBLP  BibTeX  RDF
1Johan van Benthem Notes on Modal Definability. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1989 DBLP  BibTeX  RDF
1Johan van Benthem Logical Constants Across Varying Types. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1989 DBLP  BibTeX  RDF
1Johan van Benthem Time, logic and computation. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF first-order definability, period structure, point structure, Completeness, correspondence, event structure, temporal operator, computational semantics, tense logic
1Johan van Benthem Questions About Quantifiers. Search on Bibsonomy J. Symb. Log. The full citation details ... 1984 DBLP  BibTeX  RDF
1Johan van Benthem Canonical Modal Logics and Ultrafilter Extensions. Search on Bibsonomy J. Symb. Log. The full citation details ... 1979 DBLP  BibTeX  RDF
1Johan van Benthem Modal Formulas are Either Elementary or not sigma triangle-Elementary. Search on Bibsonomy J. Symb. Log. The full citation details ... 1976 DBLP  BibTeX  RDF
1Johan van Benthem Modal Reduction Principles. Search on Bibsonomy J. Symb. Log. The full citation details ... 1976 DBLP  BibTeX  RDF
1Johan van Benthem A Note on Modal Formulae and Relational Properties. Search on Bibsonomy J. Symb. Log. The full citation details ... 1975 DBLP  BibTeX  RDF
Displaying result #1 - #94 of 94 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.