Authors
Melvin Fitting
CUNY Graduate Center
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2013.07.002
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,687
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

LFCS 2013.Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
Preface.Sergei Artemov & Anil Nerode - 2012 - Annals of Pure and Applied Logic 163 (7):743-744.
Justification Logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Preface.Sergei Artemov - 2010 - Annals of Pure and Applied Logic 161 (2):119-120.
Preface.Yuri Matiyasevich & Sergei Artemov - 2006 - Annals of Pure and Applied Logic 141 (3):307.
Wollic’2002.Ruy de Queiroz, Bruno Poizat & Sergei Artemov - 2005 - Annals of Pure and Applied Logic 134 (1):1-4.
Logical Omniscience as Infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.
Preface.Sergei Artemov, Yuri Matiyasevich, Grigori Mints & Anatol Slissenko - 2010 - Annals of Pure and Applied Logic 162 (3):173-174.
Editorial.Zofia Adamowicz, Sergei Artemov, Damian Niwiński, Ewa Orłowska, Anna Romanowska & Jan Woleński - 2004 - Annals of Pure and Applied Logic 126 (1-3):3-4.
Logic of Proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
On Propositional Quantifiers in Provability Logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
Preface.Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser - 1995 - Annals of Pure and Applied Logic 75 (1-2):1.
Data Storage Interpretation of Labeled Modal Logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.

Analytics

Added to PP index
2014-01-16

Total views
30 ( #353,663 of 2,432,285 )

Recent downloads (6 months)
1 ( #466,747 of 2,432,285 )

How can I increase my downloads?

Downloads

My notes