Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 49
Volume 49, Number 1, 2008
- Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon:
Self-Embeddings of Computable Trees. 1-37 - Roland Hinnion, Thierry Libert:
Topological Models for Extensional Partial Set Theory. 39-53 - Dorella Bellè, Franco Parlamento:
Decidability of ∃*∀∀-sentences in HF. 55-64 - Gert-Jan C. Lokhorst:
Anderson's Relevant Deontic and Eubouliatic Systems. 65-73 - Nathan C. Carter:
Reflexive Intermediate First-Order Logics. 75-95 - Douglas S. Bridges:
Uniform Continuity Properties of Preference Relations. 97-106
Volume 49, Number 2, 2008
- Frank Stephan
, Jason Teutsch:
Immunity and Hyperimmunity for Sets of Minimal Indices. 107-125 - Stephen G. Simpson:
Mass Problems and Intuitionism. 127-136 - Rohan French:
A Note on the Logic of Eventual Permanence for Linear Time. 137-142 - Mihai Prunescu:
An Undecidable Property of Recurrent Double Sequences. 143-151 - Alexander Paseau:
Fitch's Argument and Typing Knowledge. 153-176 - Sakae Yaegasi:
Tennenbaum's Theorem and Unary Functions. 177-183 - Juan Soliveres Tur, Juan Climent Vidal:
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics. 185-202 - Giangiacomo Gerla:
Approximate Similarities and Poincaré Paradox. 203-226
Volume 49, Number 3, 2008
- Christopher P. Alfeld:
Classifying the Branching Degrees in the Medvedev Lattice of Π01 Classes. 227-243 - John Cantwell:
The Logic of Conditional Negation. 245-260 - Boudewijn de Bruin:
Common Knowledge of Rationality in Extensive Games. 261-280 - Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
Quantifier Elimination for a Class of Intuitionistic Theories. 281-293 - Tomasz Kowalski:
Self-implications in BCI. 295-305 - Paolo Lipparini:
Decomposable Ultrafilters and Possible Cofinalities. 307-312 - Graham White:
Causality, Modality, and Explanation. 313-343
Volume 49, Number 4, 2008
- Erez Shochat:
Automorphisms of Countable Short Recursively Saturated Models of PA. 345-360 - Jaime Bohórquez V.:
Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction. 361-384 - Christopher Steinsvold:
A Note on Logics of Ignorance and Borders. 385-392 - Akito Tsuboi:
Models Omitting Given Complete Types. 393-399 - Zoran Majkic:
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. 401-424 - Victor Pambuccian:
The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA-. 425-429 - Philipp Gerhardy:
Proof Mining in Topological Dynamics. 431-446 - W. D. Hart:
Book Review: The Taming of the True, by Neil Tennant. 447-451
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-13 20:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
