J.F.A.K. van Benthem

发表

The european association for logic, language, and computation

J.F.A.K. van Benthem, H. J. B. M. van der Linden, 1994 .

Determiners and logic

J.F.A.K. van Benthem, 1983 .

"Situations, Language and Logic"

J.F.A.K. van Benthem, Jens Erik Fenstad, P. K. Halvorsen, 1987 .

Conditional Probability and Update Logic

J.F.A.K. van Benthem, J. Benthem, 2003 .

Is there still Logic in Bolzano's Key?

J.F.A.K. van Benthem, 2003 .

Proof, Computation and Agency - Logic at the Crossroads

J.F.A.K. van Benthem, Rohit Parikh, A. Gupta, 2011, Synthese library.

Logic And Theory of Argumentation

Rob Grootendorst, J.F.A.K. van Benthem, F. H. van Eemeren, 1996 .

Minimal Deontic Logics

J.F.A.K. van Benthem, 1979 .

Remodeling temporal geometry

J.F.A.K. van Benthem, 1996 .

The Inexhaustible Content of Modal Boxes

J.F.A.K. van Benthem, 2004 .

Mathematical Logic and Natural Language

J.F.A.K. van Benthem, 2002 .

Handbook of Modal Logic

Frank Wolter, Patrick Blackburn, J.F.A.K. van Benthem, 2007, Studies in logic and practical reasoning.

Alternative Logics and Classical Concerns

J.F.A.K. van Benthem, Manuel Rebuschi, Gerhard Heinzmann, 2006 .

Complexity of Contents versus Complexity of Wrappings

J.F.A.K. van Benthem, 1996 .

Modal Logic as a Theory of Information

J.F.A.K. van Benthem, J. Benthem, 1996 .

Proceedings 10th International Congress on Logic, Methodology and Philosophy of Science. Florence 1995; Two volumes ("Logic and Scientific Methods", "Structures and Norms in Science")

J.F.A.K. van Benthem, H. C. Doets, Daniele Mundici, 1996 .

Shifting contexts and changing assertions

J.F.A.K. van Benthem, R. van Glabbeek, A. Aliseda Llera, 1998 .

Wider still and wider: resetting the bounds of logic

J.F.A.K. van Benthem, 1998 .

Logische dynamiek, contouren van een theorie

J.F.A.K. van Benthem, 1998 .

Modal logic and classical logic

J.F.A.K. van Benthem, J. Benthem, 1983 .

Computer-Aided Discovery and Categorisation of Personality Axioms

Fenrong Liu, J.F.A.K. van Benthem, S. Kramer, 2014, FLAP.

The Categorial Fine-Structure of Natural Language

J.F.A.K. van Benthem, J. Benthem, 2003 .

The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Antology and Temporal Discourse; 2nd rev. ed. edition

J.F.A.K. van Benthem, 1987 .

Logic, language and meaning: Vol. II: Intensional logic and logical grammar

Jeroen Groenendijk, J.F.A.K. van Benthem, Dick de Jongh, 1991 .

Logic across the university: foundations and applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013

Fenrong Liu, J.F.A.K. van Benthem, 2013 .

Instant Tense Logic

J.F.A.K. van Benthem, 1983 .

Linguistic grammar as Dynamic logic

J.F.A.K. van Benthem, 1998 .

One logician's perspective on argumentation

J.F.A.K. van Benthem, J. Benthem, 2009 .

Logic and Scientific Methods

J.F.A.K. van Benthem, Daniele Mundici, M. L. Dalla Chiara, 1997 .

Games that make sense: Logic, language and multi-agent interaction

J.F.A.K. van Benthem, J. Benthem, 2008 .

Two Simple Incomplete Modal Logics

J.F.A.K. van Benthem, J.F.A.K. van Benthem, J. Benthem, 2008 .

Frame correspondences in modal predicate logic

J.F.A.K. van Benthem, J. Benthem, 2010 .

Handbook of logic and language [2nd ed.]

J.F.A.K. van Benthem, A. ter Meulen, J. Benthem, 2011 .

A Meeting of the Minds: proceedings LORI Workshop Beijing

J.F.A.K. van Benthem, J. Shier, F. Veltman, 2007 .

A Mini-Guide to Logic in Action, updated version

J.F.A.K. van Benthem, 2006 .

Semantics and Contextual Expressions

J.F.A.K. van Benthem, R. Eartsch, J. Benthem, 1989 .

Cognition as Interaction

J.F.A.K. van Benthem, 2005 .

Formal Methods in Philosophy

J.F.A.K. van Benthem, Vincent F. Hendricks, J. Symons, 2005 .

Logic at a Cross-Roads: logic and its interdisciplinary environment

J.F.A.K. van Benthem, Rohit Parikh, A. Gupta, 2007 .

Rationalizations and Promises in Games

J.F.A.K. van Benthem, 2007 .

Bisimulation: The Never-Ending Story

J.F.A.K. van Benthem, J. Benthem, 1996 .

A New World Underneath Standard Logic

J.F.A.K. van Benthem, Krzysztof R. Apt, Nico M. Temme, 1994 .

Dynamic Arrow Logic

J.F.A.K. van Benthem, J.F.A.K. van Benthem, 1994 .

Theoretical and Algorithmic Complexity Treshold in Computer Games

J.F.A.K. van Benthem, J.W.H.M. Uiterwijk, 2007 .

Chapter Modal Logic

J.F.A.K. van Benthem, 2002 .

Logic and Argumentation Theory

J.F.A.K. van Benthem, 1996 .

Structures and Norms in Science

J.F.A.K. van Benthem, Daniele Mundici, M. L. Dalla Chiara, 1997 .

Logic, language and meaning: Vol. I: Introduction to logic

Jeroen Groenendijk, J.F.A.K. van Benthem, Dick de Jongh, 1991 .

Logica voor Informatica; 3rd ed. (revised and expanded)

H. P. van Ditmarsch, J.F.A.K. van Benthem, W.P.M. Meyer-Viol, 2003 .

A Manual of Intensional Logic: 2nd Edition

J.F.A.K. van Benthem, J. Benthem, 2002 .

Modal Correspondence Theory

J.F.A.K. van Benthem, J. Benthem, 1977 .

Logic and scientific methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

J.F.A.K. van Benthem, H. C. Doets, Daniele Mundici, 1997 .

Partiality and Non-Monmotonicity in Classical Logic

J.F.A.K. van Benthem, 1986 .

Tense Logic and Standard Logic

J.F.A.K. van Benthem, J. Benthem, 1977 .