Interactive Logic: Selected Papers From the 7th Augustus de Morgan Workshop, London

, & (eds.)
Amsterdam University Press (2007)
  Copy   BIBTEX

Abstract

This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of ...

Categories

Keywords

Reprint years

2008

ISBN(s)

9789053563564   9053563563

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Open Problems in Logic and Games.Johan van Benthem - unknown
Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers.Börger Egon, Gurevich Yuri & Meinke Karl (eds.) - 1994 - Springer.
Logics in Ai European Workshop Jelia '90, Amsterdam, the Netherlands, September 10-14, 1990 : Proceedings'.Jan van Eijck - 2014 - Springer.
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998 - Springer Verlag.
Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
Universal Logic: An Anthology From Paul Hertz to Dov Gabbay.Jean-Yves Béziau (ed.) - 2012 - Basel, Switzreland: Birkhäuser.
Computer Science Logic 4th Workshop, Csl '90, Heidelberg, Germany, October 1-5, 1990 : Proceedings'.Egon Börger, Hans Kleine Büning, Michael M. Richter & Wolfgang Schönfeld - 1991 - Springer Verlag.
Deontic Logic, Agency and Normative Systems:?Eon ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996.Mark A. Brown - 1995 - Springer.
Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers.Leszek Pacholski & Jerzy Tiuryn - 1995 - Springer Verlag.
Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers.Egon Börger, Yuri Gurevich & Karl Meinke - 1994 - Springer Verlag.

Analytics

Added to PP
2015-01-20

Downloads
6 (#1,485,580)

6 months
8 (#415,230)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Benedikt Löwe
University of Amsterdam
Johan Van Benthem
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references