Are We Finite?
Notre Dame Journal of Formal Logic 34 (3):311--333 (1993)
| Abstract | We argue that the unexpected examination paradox can be regarded as showing that the logic of temporally indexed epistemic states, although it is intuitively appealing, cannot be recursively axiomatised. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDmitrij Skvortsov (2005). The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable. Journal of Symbolic Logic 70 (2):451 - 459.
Herman Dishkant (1986). About Finite Predicate Logic. Studia Logica 45 (4):405 - 414.
Ross Willard (1994). Hereditary Undecidability of Some Theories of Finite Structures. Journal of Symbolic Logic 59 (4):1254-1262.
Stephan Wehner (1999). On Recursive Enumerability with Finite Repetitions. Journal of Symbolic Logic 64 (3):927-945.
Jörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Thomas Forster (2003). Finite-to-One Maps. Journal of Symbolic Logic 68 (4):1251-1253.
Ralph McKenzie (2000). Recursive Inseparability for Residual Bounds of Finite Algebras. Journal of Symbolic Logic 65 (4):1863-1880.
H. Andréka, I. Hodkinson & I. Németi (1999). Finite Algebras of Relations Are Representable on Finite Sets. Journal of Symbolic Logic 64 (1):243-267.
Miklós Maróti & Ralph McKenzie (2004). Finite Basis Problems and Results for Quasivarieties. Studia Logica 78 (1-2):293 - 320.
Klaus Sutner (1990). The Ordertype of Β-R.E. Sets. Journal of Symbolic Logic 55 (2):573-576.
Frank O. Wagner (1992). À Propos d'Équations Génériques. Journal of Symbolic Logic 57 (2):548-554.
D. Skvortsov (1995). On the Predicate Logics of Finite Kripke Frames. Studia Logica 54 (1):79 - 88.
Allard Tamminga (2004). Expansion and Contraction of Finite States. Studia Logica 76 (3):427-442.
Alexei Vernitski (2004). Finite Quasivarieties and Self-Referential Conditions. Studia Logica 78 (1-2):337 - 348.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,575 of 549,122 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
