Decidability results in non-classical logics

Annals of Mathematical Logic 8 (3):237-295 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(75)90004-2

Links

PhilArchive



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

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

Dov M. Gabbay, Fibring Logics.A. Sernadas - 2000 - Journal of Logic Language and Information 9 (4):511-513.
Luca Vigano. Labelled non-classical logics, With a foreword by Gabbay Dov, Kluwer Academic Publishers, 2000, 291 pp. [REVIEW]Petr Hájek - 2004 - Bulletin of Symbolic Logic 10 (1):107-108.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Review: Dov M. Gabbay, Investigations in Modal and Tense Logics with Application to Problems in Philosophy and Linguistics. [REVIEW]Kit Fine - 1979 - Journal of Symbolic Logic 44 (4):656-657.
Compiled Labelled Deductive Systems: A Uniform Presentation of Non-classical Logics.Krysia Broda - 2004 - Hertfordshire: Institute of Physics/Research Studies Press.
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical problems from applied logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
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.
Universal Logic: An Anthology From Paul Hertz to Dov Gabbay.Jean-Yves Béziau (ed.) - 2012 - Basel, Switzreland: Birkhäuser.
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.
Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.

Analytics

Added to PP
2014-01-17

Downloads
13 (#1,044,693)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.
Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.

View all 9 citations / Add more citations

References found in this work

Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16‐18):247-257.

View all 19 references / Add more references