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