Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 36
Volume 36, Number 1, Winter 1995
- André Fuhrmann:
Editor's Introduction. 1-14 - Mark Ryan
, Pierre-Yves Schobbens:
Belief Revision and Verisimilitude. 15-29 - Katarina Britz, Chris Brink:
Computing Verisimilitude. 30-43 - Heinrich Wansing:
Semantics-based Nonmonotonic Inference. 44-54 - Wayne Wobcke:
Belief Revision, Conditional Logic and Nonmonotonic Reasoning. 55-102 - Sven Ove Hansson, Erik J. Olsson:
Levi Contractions and AGM Contractions: a Comparison. 103-119 - Pavlos Peppas, Mary-Anne Williams:
Constructive Modelings for Theory Change. 120-133 - Jan Jaspars:
Partial Up and Down Logic. 134-157 - Craig Boutilier:
On the Revision of Probabilistic Belief States. 158-183
Volume 36, Number 2, Spring 1995
- Andrea Cantini:
Levels of Truth. 185-213 - Lloyd Humberstone:
The Logic of Non-contingency. 214-229 - Steven T. Kuhn:
Minimal Non-contingency Logic. 230-234 - George Gargov:
An Approach to Uncertainty via Sets of Truth Values. 235-268 - Tapani Hyttinen:
Remarks on Structure Theorems for ω1-Saturated Models. 269-278 - Uwe Meixner:
Ontologically Minimal Logical Semantics. 279-298 - James Cain:
Arithmetic With Satisfaction. 299-303 - Dorella Bellè, Franco Parlamento:
Decidability and Completeness for Open Formulas of Membership Theories. 304-318 - Mike S. Joy, Victor J. Rayward-Smith:
NP-Completeness of a Combinator Optimization Problem. 319-335 - Graeme Forbes:
Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press, 1993. 336-339
Volume 36, Number 3, Summer 1995
- Peter Roeper, Hugues Leblanc:
Consequence and Confirmation. 341-363 - Michael Makkai:
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. 364-381 - Michaelis Michael, A. V. Townsend:
Binary Quantification Systems. 382-395 - Michiro Kondo:
Classification of Weak DeMorgan Algebras. 396-406 - José M. Méndez, Francisco Salto:
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. 407-413 - J. E. Helmreich:
Expansions of Ultrahomogeneous Graphs. 414-424 - Masasi Higasikawa:
Partition Principles and Infinite Sums of Cardinal Numbers. 425-434 - Norman D. Megill:
A Finitely Axiomatized Formalization of Predicate Calculus with Equality. 435-453 - Athanassios Tzouvaras:
Worlds of Homogeneous Artifacts. 454-474 - Kieron O'Hara, Han Reichgelt, Nigel Shadbolt:
Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson. 475-495
Volume 36, Number 4, Fall 1995
- Peter Clote:
Editor's Introduction. 499-501 - Roman Murawski:
The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. 502-504 - Henryk Kotlarski:
Automorphisms of Countable Recursively Saturated Models of PA: a Survey. 505-518 - Roman Kossak:
Four Problems Concerning Recursively Saturated Models of Arithmetic. 519-530 - Roman Kossak, James H. Schmerl:
Arithmetically Saturated Models of Arithmetic. 531-546 - Richard Kaye:
The Theory of κ-like Models of Arithmetic. 547-559 - James H. Schmerl:
PA(aa). 560-569 - David Seetapun, Theodore A. Slaman:
On the Strength of Ramsey's Theorem. 570-582
- Fabio Bellissima, Anna Bucalo:
A Distinguishable Model Theorem for the Minimal US-Tense Logic. 585-594 - Michiro Kondo:
Approximation Logic and Strong Bunge Algebra. 595-605 - Oleg Anshakov, S. Rychkov:
On Finite-Valued Propositional Logical Calculi. 606-629
a service of 
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-04-25 20:50 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:
