Deduction systems, Rolf Socher-ambrosius and Patricia Johann

Journal of Logic, Language and Information 8 (4):476-478 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008396817046

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Rolf Socher-Ambrosius and Patricia Johann, Deduction Systems.M. De Rijke - 1999 - Journal of Logic Language and Information 8:476-478.
L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic colloquium '92, studies in logic language, and information'.Ian Hodkinson - 1997 - Journal of Logic, Language and Information 6 (4):453-457.
Multi-dimensional modal logic, Maarten Marx and Yde Venema.Michael Zakharyaschev - 2000 - Journal of Logic, Language and Information 9 (1):128-131.
Information flow: The logic of distributed systems, Jon Barwise and Jerry Seligman. [REVIEW]Johan van Benthem & David Israel - 1999 - Journal of Logic, Language and Information 8 (3):390-397.
Book Reviews:Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge: Cambridge University Press, 2002, xxii + 554 pp., US$53.00, ISBN 0-52152-714-7 (paperback). [REVIEW]Manuel Bremer - 2005 - Minds and Machines 15 (1):126-129.
Introduction to natural language semantics, henriëtte de Swart.Katharina Hartmann & Thomas Ede Zimmermann - 2001 - Journal of Logic, Language and Information 10 (4):511-518.
Logic in computer science: Modelling and reasoning about systems. [REVIEW]Valentin Goranko - 2006 - Journal of Logic, Language and Information 16 (1):117-120.
Labelled deductive systems, volume 1, Dov M. Gabbay.Geert-Jan M. Kruijff - 1998 - Journal of Logic, Language and Information 7 (4):502-506.
Editorial: Modal logic and dynamic semantics. [REVIEW]Yde Venema - 1997 - Journal of Logic, Language and Information 6 (4):357-360.
Inference and computational semantics.Patrick Blackburn & Michael Kohlhase - 2004 - Journal of Logic, Language and Information 13 (2):117-120.

Analytics

Added to PP
2009-01-28

Downloads
28 (#808,576)

6 months
11 (#364,844)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references