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. 157-164

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

Logic of Action

Krister Segerberg:
Getting started: Beginnings in the Logic of Action. 347-378
Richard Sylvan:
Process and Action: Relevant Theory and Logics. 379-438
Hector-Neri Castaneda:
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

Last update Mon Feb 13 04:56:51 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page