default search action
Studia Logica, Volume 51
Volume 51, Number 1, 1992
- Ryszard Wójcicki:
Editorial Note. V-VI - Edwin D. Mares
:
Semantics for Relevance Logic with Identity. 1-20 - John Pais, Peter Jackson:
Partial Monotonicity and a New Version of the Ramsey Test. 21-47 - Alexander V. Chagrov, Michael Zakharyaschev
Modal Companions of Intermediate Propositional Logics. 49-82 - Sachio Hirokawa
Converse Principal Type-Scheme Theorem in Lambda Calculus. 83-95 - Roberto Giuntini
Brouwer-Zadeh Logic, Decidability and Bimodal Systems. 97-112 - Jacek Malinowski
Strong Versus Weak Quantum Consequence Operations. 113-123 - Andreja Prijatelj:
Lambek Calculus with Restricted Contraction and Expansion. 125-143 - Bulletin IUHPS/DLMPS. Stud Logica 51(1): 157-164 (1992)
Volume 51, Number 2, 1992
- Mark Reynolds
An Axiomatization for Until and Since over the Reals without the IRR Rule. 165-193 - Silvio Ghilardi
Quantified Extensions of Canonical Propositional Intermediate Logics. 195-214 - Serge Lapierre:
Structured Meanings and Reflexive Domains. 215-239 - Michael Thau:
The omega-rule. 241-248 - Giorgie Dzaparidze:
The Logic of Linear Tolerance. 249-278 - John Pais:
Revision Algebra Semantics for Conditional Logic. 279-316 - Giovanna Corsi:
Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions. 317-336
Volume 51, Number 3/4, 1992
- Krister Segerberg:
Getting started: Beginnings in the Logic of Action. 347-378 - Richard Sylvan:
Process and Action: Relevant Theory and Logics. 379-438 - Héctor-Neri Castañeda:
Indexical Reference and Bodily Causal Diagrams in Intentional Action. 439-462 - Nuel Belnap, Michael Perloff:
The Way of the Agent. 463-484 - Brian F. Chellas:
Time and Modality in the Logic of Agency. 485-518 - Mark A. Brown:
Normal Bimodal Logics of Ability and Action. 519-532 - Krister Segerberg:
Action Incompleteness. 533-550 - Robert Goldblatt
Parallel Action: Concurrent Dynamic Logic with Independent Modalities. 551-578
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 2025-01-10 18:22 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: