default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 44
Volume 44, Number 1, 2003
- Michael E. Mytilinaios, Theodore A. Slaman:
Differences between Resource Bounded Degree Structures. 1-12 - Alan Weir:
Neo-Fregeanism: An Embarrassment of Riches. 13-48 - Jim Edwards:
Reduction and Tarski's Definition of Logical Consequence. 49-62
Volume 44, Number 2, 2003
- Roy T. Cook:
Iteration One More Time. 63-92 - Takahiro Seki:
General Frames for Relevant Modal Logics. 93-109 - Brian Weatherson:
From Classical to Intuitionistic Probability. 111-123
Volume 44, Number 3, 2003
- François Lepage, Charles Morgan:
Probabilistic Canonical Models for Partial Logics. 125-138 - John T. Baldwin, Kitty L. Holland:
Constructing ω-stable Structures: Rank k-fields. 139-147 - Olivier Esser:
A Strong Model of Paraconsistent Logic. 149-156 - Tarek Sayed Ahmed:
Neat Embeddings, Omitting Types, and Interpolation: An Overview. 157-173 - Kyriakos Keremedis, Eleftherios Tachtsis:
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice. 175-184 - John P. Burgess:
A Remark on Henkin Sentences and Their Contraries. 185-188
Volume 44, Number 4, 2003
- Paul Thom
:
De Re Modality and the New Essentialism: A Dilemma. 189-199 - Noam Greenberg, Antonio Montalbán:
Embedding and Coding below a 1-Generic Degree. 200-216 - Kenji Fukuzaki, Akito Tsuboi:
Implicit Definability of Subfields. 217-225 - John P. Burgess:
Book Review: Kit Fine. The Limits of Abstraction. 227-251
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-09-22 23:37 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:
