researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Notre Dame Journal of Formal Logic
Home
Index
Info
Volume
Volume
39
, Issue
4
447
--
463
Carlo Toffalori
.
Lattice Ordered O-Minimal Structures
464
--
484
Jan A. Bergstra
,
Alban Ponse
.
Bochvar-McCarthy Logic and Process Algebra
485
--
506
Ming Xu
.
Uncompactness of Stit Logics Containing Generalized Refref Conditionals
507
--
518
Enrique Casanovas
,
Byunghan Kim
.
A Supersimple Nonlow Theory
519
--
526
John Chisholm
,
Michael Moses
.
An Undecidable Linear Order That Is n-Decidable for All n
527
--
530
Tapani Hyttinen
.
A Remark on Algebraic Closure and Orthogonality
531
--
544
Tomasz Polacik
.
Pitts Quantifiers Are Not Topological Quantification
545
--
553
John F. Phillips
.
A Note on the Modal and Temporal Logics for N-Dimensional Spacetime
554
--
572
Adriane A. Rini
.
Is There a Modal Syllogistic?
573
--
580
Oliver Lemon
,
Ian E. Pratt
.
On the Insufficiency of Linear Diagrams for Syllogisms
600
--
612
Stewart Shapiro
.
Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics
Volume
39
, Issue
3
287
--
306
Krister Segerberg
.
Irrevocable Belief Revision in Dynamic Doxastic Logic
307
--
324
Eugenio Chinchilla
.
A Model of inside a Subexponential Time Resource
325
--
331
Akito Tsuboi
,
Kentaro Wakai
.
On Interpretability of Almost Linear Orderings
332
--
345
Eduardo L. Fermé
,
Ricardo Oscar Rodríguez
.
Semi-Contraction: Axioms and Construction
346
--
362
Wallace A. Murphree
.
Numerical Term Logic
363
--
388
Zlatan Damnjanovic
.
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive-Rule
389
--
405
Leon Horsten
.
A Kripkean Approach to Unknowability and Truth
406
--
421
Bernhard Heinemann
.
Topological Modal Logics Satisfying Finite Chain Conditions
422
--
435
Stephen Pollard
.
Homeomorphism and the Equivalence of Logical Systems
436
--
445
Jean-Pierre Marquis
.
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.
Volume
39
, Issue
2
157
--
189
Reed Solomon
.
Reverse Mathematics and Fully Ordered Groups
190
--
211
Holger Sturm
.
Interpolation and Preservation in ML::omega 1::
212
--
220
Mohammad Ardeshir
,
Mojtaba Moniri
.
Intuitionistic Open Induction and Least Number Principle and the Buss Operator
221
--
230
Wilfrid Hodges
.
The Laws of Distribution for Syllogisms
231
--
242
Fabio Bellissima
,
Saverio Cittadini
.
Duality and Completeness for US-Logics
243
--
252
Lloyd Humberstone
.
Note on Supervenience and Definability
253
--
273
Maarten Marx
,
Carlos Areces
.
Failure of Interpolation in Combined Modal Logics
274
--
278
John P. Burgess
.
On a Consistent Subsystem of Frege s Grundgesetze
279
--
285
Aladdin M. Yaqub
.
Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth
Volume
39
, Issue
1
1
--
17
John P. Burgess
,
Allen Hazen
.
Predicative Logic and Formal Arithmetic
18
--
46
Wim Ruitenburg
.
Basic Predicate Calculus
47
--
73
Alexander Bochman
.
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
74
--
93
Xuegang Wang
,
Peter Mott
.
A Variant of Thomason s First-Order Logic CF Based on Situations
94
--
113
H. Naruse
,
Bayu Surarso
,
H. Ono
.
A Syntactic Approach to Maksimova s Principle of Variable Separation for some Substructural Logics
114
--
127
Arthur Sullivan
.
Singular Propositions and Singular Thoughts
128
--
134
Timothy Williamson
.
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses
135
--
139
Jean-Yves Béziau
.
Idempotent Full Paraconsistent Negations are not Algebraizable
140
--
148
James H. Schmerl
.
Recursive Models and the Divisibility Poset
149
--
155
Aladdin M. Yaqub
.
Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth