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