Labelled deductive systems, volume 1, Dov M. Gabbay

Journal of Logic, Language and Information 7 (4):502-506 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008254911778

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,377

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

Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Temporal logic: Mathematical foundations and computational aspects, volume 2, Dov M. Gabbay, mark A. Reynolds, and Marcelo finger. [REVIEW]Ullrich Hustadt - 2001 - Journal of Logic, Language and Information 10 (3):406-410.
Handbook of tableau methods, Marcello D'Agostino, Dov M. Gabbay, Reiner hähnle, and Joachim posegga, eds.Maarten de Rijke - 2001 - Journal of Logic, Language and Information 10 (4):518-523.
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.
Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning. [REVIEW]G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger, Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. [REVIEW]U. Hustadt - 2001 - Journal of Logic Language and Information 10 (3):406-410.
Dov M. Gabbay, Fibring Logics.A. Sernadas - 2000 - Journal of Logic Language and Information 9 (4):511-513.
Compiled Labelled Deductive Systems: A Uniform Presentation of Non-classical Logics.Krysia Broda - 2004 - Hertfordshire: Institute of Physics/Research Studies Press.
First-order modal logic, M. fitting and R.l. Mendelsohn.Valentin Shehtman - 2001 - Journal of Logic, Language and Information 10 (3):403-405.

Analytics

Added to PP
2009-01-28

Downloads
39 (#452,410)

6 months
7 (#926,546)

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