Results for author 'Johan van Benthem'

Graph Games and Logic Design

Recent Developments and Further Directions

Words, Proofs and Diagrams

Lecture Notes

Handbook of Spatial Logics

Logical Dynamics of Information and Interaction

Models of Strategic Reasoning

Logics, Games, and Communities

Handbook of Spatial Logics

Readings in Formal Epistemology

Sourcebook

Essays in Logical Semantics

Studies in Linguistics and Philosophy

The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

The Age of Alternative Logics

Assessing Philosophy of Logic and Mathematics Today

Games, Norms and Reasons

Logic at the Crossroads

Proof, Computation and Agency

Logic at the Crossroads

Logic, Information and Agency

Lecture Notes

Modal Logic for Open Minds

Lecture Notes

Logic in Games

Readings in Formal Epistemology

Sourcebook

Logic Across the University

Foundations and Applications

A Manual of Intensional Logic

2nd Edition