Notre Dame Journal of Formal Logic
, Volume 37
Volume 37, Number 1, Winter 1996
Brian F. Chellas
,
Krister Segerberg
: Modal Logics in the Vicinity of S1. 1-24
BibTeX
Maarten Marx
: Multi-Dimensional Semantics for Modal Logics. 25-34
BibTeX
Michael Kaminski
,
Michael L. Tiomkin
: The Expressive Power of Second-Order Propositional Modal Logic. 35-43
BibTeX
Silvia Ghilezan
: Strong Normalization and Typability with Intersection Types. 44-52
BibTeX
Andreja Prijatelj
: Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. 53-70
BibTeX
Fabio Pianesi
,
Achille C. Varzi
: Refining Temporal Reference in Event Structures. 71-83
BibTeX
William C. Purdy
: Decidability of Fluted Logic with Identity. 84-104
BibTeX
Francesco Orilia
: A Contingent Russell's Paradox. 105-111
BibTeX
,
John L. Bell
,
William Demopoulos
: Elementary Propositions and Independence. 112-124
BibTeX
Mario Gómez-Torrente
: Tarski on Logical Consequence. 125-151
BibTeX
Volume 37, Number 2, Spring 1996
Combining Logics
Patrick Blackburn
,
Maarten de Rijke
: Special Issue on Combining Logics - Editor's Introduction. 161-166
BibTeX
Frank Wolter
: A Counterexample in Tense Logic. 167-173
BibTeX
Edith Hemaspaandra
: The Price of Universality. 174-203
BibTeX
Marcelo Finger
,
Dov M. Gabbay
: Combining Temporal Logic Systems. 204-232
BibTeX
Joeri Engelfriet
: Minimal Temporal Epistemic Logic. 233-259
BibTeX
Angelo Montanari
,
Alberto Policriti
: Decidability Results for Metric and Layered Temporal Logics. 260-282
BibTeX
Arend Rensink
: Algebra and Theory of Order-Deterministic Pomsets. 283-320
BibTeX
Albert Visser
,
Kees Vermeulen
: Dynamic Bracketing and Discourse Representation. 321-365
BibTeX
A. Jánossy
,
Ágnes Kurucz
,
A. E. Eiben
: Combining Algebraizable Logics. 366-380
BibTeX
Volume 37, Number 3, Summer 1996
Walter P. Van Stigt
: Introduction to Life, Art, and Mysticism. 381-387
BibTeX
Luitzen Egbertus Jan Brouwer
: Life, Art, and Mysticism. 389-429
BibTeX
Loredana Biacino
,
Giangiacomo Gerla
: Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point. 431-439
BibTeX
Igor Urbas
: Dual-Intuitionistic Logic. 440-451
BibTeX
Kai F. Wehmeier
: Classical and Intuitionistic Models of Arithmetic. 452-461
BibTeX
Franco Barbanera
,
Stefano Berardi
: A Constructive Valuation Semantics for Classical Logic. 462-482
BibTeX
Max A. Freund
: Semantics for Two Second-Order Logical Systems: =RRC
*
and Cocchiarella's RRC
*
. 483-505
BibTeX
Enrique Casanovas
,
Pilar Dellunde
,
Ramon Jansana
: On Elementary Equivalence for Equality-free Logic. 506-522
BibTeX
Volume 37, Number 4, Fall 1996
Alasdair Urquhart
,
Xudong Fu
: Simplified Lower Bounds for Propositional Proofs. 523-544
BibTeX
Jeffry L. Hirst
,
Steffen Lempp
: Infinite Versions of Some Problems From Finite Complexity Theory. 545-553
BibTeX
Gregory Landini
: Logic in Russell's Principles of Mathematics. 554-584
BibTeX
Daniel Dzierzgowski
: Finite Sets and Natural Numbers in Intuitionistic TT. 585-601
BibTeX
Lloyd Humberstone
: A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions. 602-612
BibTeX
Oleg V. Belegradek
: Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. 613-624
BibTeX
Ken Akiba
: Field on the Notion of Consistency. 625-630
BibTeX
Copyright ©
Sun May 17 00:15:09 2009 by
Michael Ley
(
ley@uni-trier.de
)