BibSonomy :: author :: Benthem ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(95)

<< < 1 | 2 | 3 > >>

Process Operations in Extended Dynamic Logics.
Johan van Benthem LICS, page 244-250. IEEE Computer Society, (1998)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Logical Dynamics of Evidence.
Johan van Benthem, and Eric Pacuit LORI, volume 6953 of Lecture Notes in Computer Science, page 1-27. Springer, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Dynamic Logics of Evidence-Based Beliefs.
Johan van Benthem, and Eric Pacuit Studia Logica 99(1-3):61-92 (2011)
to dblp by dblp on Sep 23, 2011, 12:00 AM
URL | BibTeX
Exploring a theory of play.
Johan van Benthem TARK, page 12-16. ACM, (2011)
to dblp by dblp on Jul 13, 2011, 12:00 AM
URL | BibTeX
Typing in Pure Type Systems
L. S. van Benthem Jutting Inf. Comput. 105(1):30-41 (July 1993)
to dblp by dblp and 1 other user on Jul 6, 2011, 12:00 AM
URL | BibTeX
An Essay on Sabotage and Obstruction.
Johan van Benthem Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 268-276. Springer, (2005)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Modality, Bisimulation and Interpolation in Infinitary Logic.
Johan van Benthem Ann. Pure Appl. Logic 96(1-3):29-41 (1999)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Information Transfer across Chu Spaces.
Johan van Benthem Logic Journal of the IGPL 8(6):719-731 (2000)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Modal Foundations for Predicate Logic.
Johan van Benthem Logic Journal of the IGPL 5(2):259-286 (1997)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Temporal Patterns and Modal Structure.
Johan van Benthem Logic Journal of the IGPL 7(1):7-26 (1999)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Editorial: The Elusive Locus of Logicality.
Johan van Benthem J. Log. Comput. 3(5):451-453 (1993)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Modal Deduction in Second-Order Logic and Set Theory - I.
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, and Alberto Policriti J. Log. Comput. 7(2):251-265 (1997)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Modal Logic, Transition Systems and Processes.
Johan van Benthem, Jan van Eijck, and Vera Stebletsova J. Log. Comput. 4(5):811-855 (1994)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Editorial.
Johan van Benthem J. Log. Comput. 1(3):301-304 (1991)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Editorial.
Johan van Benthem, Vincent F. Hendricks, and John Symons Synthese 148(1):1-3 (2006)
to dblp by dblp on Jun 6, 2011, 12:00 AM
URL | BibTeX
Program Constructions that are Safe for Bisimulation.
Johan van Benthem Studia Logica 60(2):311-330 (1998)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Modal Deduction in Second-Order Logic and Set Theory - II.
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, and Alberto Policriti Studia Logica 60(2):387-420 (1998)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Directions in generalized quantifier theory.
Johan van Benthem, and Dag Westerståhl Studia Logica 55(3):389-419 (1995)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Extensive Games as Process Models.
Johan van Benthem Journal of Logic, Language and Information 11(3):289-313 (2002)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX
Logic of Transition Systems.
Johan van Benthem, and Jan A. Bergstra Journal of Logic, Language and Information 3(4):247-283 (1994)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100