default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 29 matches
- 2008
- Christopher P. Alfeld:
Classifying the Branching Degrees in the Medvedev Lattice of Π01 Classes. Notre Dame J. Formal Log. 49(3): 227-243 (2008) - Dorella Bellè, Franco Parlamento:
Decidability of ∃*∀∀-sentences in HF. Notre Dame J. Formal Log. 49(1): 55-64 (2008) - Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon:
Self-Embeddings of Computable Trees. Notre Dame J. Formal Log. 49(1): 1-37 (2008) - Douglas S. Bridges:
Uniform Continuity Properties of Preference Relations. Notre Dame J. Formal Log. 49(1): 97-106 (2008) - Boudewijn de Bruin:
Common Knowledge of Rationality in Extensive Games. Notre Dame J. Formal Log. 49(3): 261-280 (2008) - John Cantwell:
The Logic of Conditional Negation. Notre Dame J. Formal Log. 49(3): 245-260 (2008) - Nathan C. Carter:
Reflexive Intermediate First-Order Logics. Notre Dame J. Formal Log. 49(1): 75-95 (2008) - Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame J. Formal Log. 49(3): 281-293 (2008) - Rohan French:
A Note on the Logic of Eventual Permanence for Linear Time. Notre Dame J. Formal Log. 49(2): 137-142 (2008) - Philipp Gerhardy:
Proof Mining in Topological Dynamics. Notre Dame J. Formal Log. 49(4): 431-446 (2008) - Giangiacomo Gerla:
Approximate Similarities and Poincaré Paradox. Notre Dame J. Formal Log. 49(2): 203-226 (2008) - W. D. Hart:
Book Review: The Taming of the True, by Neil Tennant. Notre Dame J. Formal Log. 49(4): 447-451 (2008) - Roland Hinnion, Thierry Libert:
Topological Models for Extensional Partial Set Theory. Notre Dame J. Formal Log. 49(1): 39-53 (2008) - Tomasz Kowalski:
Self-implications in BCI. Notre Dame J. Formal Log. 49(3): 295-305 (2008) - Paolo Lipparini:
Decomposable Ultrafilters and Possible Cofinalities. Notre Dame J. Formal Log. 49(3): 307-312 (2008) - Gert-Jan C. Lokhorst:
Anderson's Relevant Deontic and Eubouliatic Systems. Notre Dame J. Formal Log. 49(1): 65-73 (2008) - Zoran Majkic:
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. Notre Dame J. Formal Log. 49(4): 401-424 (2008) - Victor Pambuccian:
The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA-. Notre Dame J. Formal Log. 49(4): 425-429 (2008) - Alexander Paseau:
Fitch's Argument and Typing Knowledge. Notre Dame J. Formal Log. 49(2): 153-176 (2008) - Mihai Prunescu:
An Undecidable Property of Recurrent Double Sequences. Notre Dame J. Formal Log. 49(2): 143-151 (2008) - Erez Shochat:
Automorphisms of Countable Short Recursively Saturated Models of PA. Notre Dame J. Formal Log. 49(4): 345-360 (2008) - Stephen G. Simpson:
Mass Problems and Intuitionism. Notre Dame J. Formal Log. 49(2): 127-136 (2008) - Christopher Steinsvold:
A Note on Logics of Ignorance and Borders. Notre Dame J. Formal Log. 49(4): 385-392 (2008) - Frank Stephan, Jason Teutsch:
Immunity and Hyperimmunity for Sets of Minimal Indices. Notre Dame J. Formal Log. 49(2): 107-125 (2008) - Akito Tsuboi:
Models Omitting Given Complete Types. Notre Dame J. Formal Log. 49(4): 393-399 (2008) - Juan Soliveres Tur, Juan Climent Vidal:
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics. Notre Dame J. Formal Log. 49(2): 185-202 (2008) - Jaime Bohórquez V.:
Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction. Notre Dame J. Formal Log. 49(4): 361-384 (2008) - Graham White:
Causality, Modality, and Explanation. Notre Dame J. Formal Log. 49(3): 313-343 (2008) - Sakae Yaegasi:
Tennenbaum's Theorem and Unary Functions. Notre Dame J. Formal Log. 49(2): 177-183 (2008)
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-06 05:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint