More download options

The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich

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

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Philosophy of Artificial Intelligence in Philosophy of Cognitive Science

Keywords

Philosophy Logic Artificial Intelligence Semantics

Reprint years

2004

DOI

10.1023/a:1008334715902

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 100,497

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Egon Boerger, Erich Graedel, and Yuri Gurevich, The Classical Decision Problem.M. Marx - 1999 - Journal of Logic Language and Information 8:478-481.

Multi-dimensional modal logic, Maarten Marx and Yde Venema.Michael Zakharyaschev - 2000 - Journal of Logic, Language and Information 9 (1):128-131.

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.

Discourse and information structure.Ivana Kruijff-korbayová & Mark Steedman - 2003 - Journal of Logic, Language and Information 12 (3):249-259.

Editorial.Patrick Blackburn - 2002 - Journal of Logic, Language and Information 11 (1):1-1.

Editorial.Heinrich Wansing - 1998 - Journal of Logic, Language and Information 7 (3):3-4.

Editorial.Heinrich Wansing - 1998 - Journal of Logic, Language and Information 7 (3):III-VII.

Introduction.Rodger Kibble, Paul Piwek & Ielka Sluis - 2007 - Journal of Logic, Language and Information 16 (4):361-363.

Afterword.Robin Cooper - 2003 - Journal of Logic, Language and Information 12 (3):369-374.

Analytics

Added to PP
2009-01-28

Downloads
47 (#461,211)

6 months
7 (#669,170)

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

Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.

Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.

Unsolvable classes of quantificational formulas.Harry R. Lewis - 1979 - Reading, Mass.: Addison-Wesley.

The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.

Add more references