Chapter 10
TEMPORAL LOGIC
Yde Venema
1
Introduction
Time must be the most paradoxical concept our minds have to deal with. To quote from the Confessions of St. Augustine What then, is time? If ...
THE AGE OF ALTERNATIVE LOGICS
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE
VOLUME 3
Editors Shahid Rahman, University of Lille III, France John Symons, University of Texas at El Paso, U.S.A. Edi...
Modal Logics for Intelligent Agents
John-Jules Meyer Utrecht University Institute of Information and Computing Sciences Intelligent Systems Group P.O. Box 80.089 3508 TB Utrecht, The Netherlands Au...
LOGIC, THOUGHT AND ACTION
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE
VOLUME 2
Editors Shahid Rahman, University of Lille III, France John Symons, University of Texas at El Paso, U.S.A. Editor...
vii
TABLE OF CONTENTS
List of contributors 1. Introduction Jaroslav Peregrin PART I: FOUNDATIONS 2. Structural Properties of Dynamic Reasoning Johan van Benthem 3. Construction by Description in ...
vii
TABLE OF CONTENTS
List of contributors 1. Introduction Jaroslav Peregrin PART I: FOUNDATIONS 2. Structural Properties of Dynamic Reasoning Johan van Benthem 3. Construction by Description in ...
B. JACK COPELAND
THE GENESIS OF POSSIBLE WORLDS SEMANTICS
Received 28 June 2000; received in revised version 16 October 2001
ABSTRACT. This article traces the development of possible worlds seman...
Routledge Encyclopedia of Philosophy
Logic & Mathematics
Contents
Adverbs Ambiguity Analysis, nonstandard Analysis, philosophical issues in Analyticity Antirealism in the philosophy of mathema...
A MANUAL OF INTENSIONAL LOGIC
A MANUAL OF INTENSIONAL LOGIC
Second Edition Revised and Expanded
Johan van Benthem
CENTER FOR THE STUDY OF LANGUAGE AND INFORMATION
CSLI was founded early in 19...
A LOGICAL APPROACH TO PHILOSOPHY
THE WESTERN ONTARIO SERIES IN PHILOSOPHY OF SCIENCE
A SERIES OF BOOKS IN PHILOSOPHY OF SCIENCE, METHODOLOGY, EPISTEMOLOGY, LOGIC, HISTORY OF SCIENCE, AND RELATED ...
Relevant and Substructural Logics
GREG RESTALL∗
PHILOSOPHY DEPARTMENT, MACQUARIE UNIVERSITY Greg.Restall@mq.edu.au
June 23, 2001 http://www.phil.mq.edu.au/staff/grest...
Abstract: This is a histo...
http://www.ucalgary.ca/~rzach/papers/... The Development of Modern Logic ed. by Leila Haaparanta, contents: 1. Introduction (Leila Haaparanta, University of Tampere) 2. Late Medieval Logic ...
Multimodal Logic Programming∗
Linh Anh Nguyen Institute of Informatics, University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland nguyen@mimuw.edu.pl
Abstract We give a framework for developing th...