Logic Journal of the IGPL, Volume 3, 1995

Volume 3, Number 1, March 1995

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
Editorial. 4-6
Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas:
On the Logic of Information Flow. 7-50
Murat Ersan, Varol Akman:
Situated Modeling of Epistemic Puzzles. 51-76
Robin Hirsch:
Completely Representable Relation Algebras. 77-92
István Németi, Ildikó Sain, András Simon:
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators. 93-105
Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen:
The Essential Inadequacy of Deduction in Logic Programming. 107-110
Karl Schlechta:
Some Completeness Results for Propositional Conditional Logics. 111-115

Ruth Kempson:
Deduction and Language. 160-166
Natasha Alechina, Michiel van Lambalgen:
Correspondence and Completeness for Generalized Quantifiers. 167-190
Jaap van der Does:
Cut Might Cautiously. 191-202
Shalom Lappin:
Generalized Quantifiers, Exception Phrases, and Logicality. 203-222
Wilfried Meyer-Viol:
A Proof-theoretic Treatment of Assignments. 223-242
Ruy J. G. B. de Queiroz, Dov M. Gabbay:
The Functional Interpretation of the Existential Quantifier. 243-290
Fairouz Kamareddine:
Important Issues in Foundational Formalisms. 291-317
Aarne Ranta:
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar. 319-342
Mark Hepple:
Hybrid Categorial Logics. 343-355
Natasha Kurtonina:
Talking about Explicit Databases in Categorial Grammar. 357-370
Michael Moortgat:
Multimodal Linguistic Inference. 371-401
Glyn Morrill:
Clausal Proofs and Discontinuity. 403-427
Dick Oehrle:
Some 3-Dimensional Systems of Labelled Deduction. 429-448
Francis Corblin:
Compositionality and Complexity in Multiple Negation. 449-471
Uwe Reyle:
Underspecified Discourse Representation Structures and their Logic. 473-488
Ruth Kempson:
Ellipsis in a Labelled Deduction System. 489-526

Ruy J. G. B. de Queiroz:
Editorial. 532-533
Krister Segerberg:
Belief Revision From the Point of View of Doxastic Logic. 535-553
Mike Calcagno:
A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency. 555-578
Claudia Meré María, Paulo A. S. Veloso:
Definition-like Extensions by Sorts. 579-595
Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno:
Aspects of Paraconsistent Logic. 597-614
María Victoria Cengarle, Martin Wirsing:
A Calculus of Higher-Order Parameterization for Algebraic Specifications. 615-641
Martin C. Henson:
On the Proof Theory of Program Transformations. 643-671

Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
The Bulletin turned into a Journal. 682
Mati Pentus:
IGPL/FoLLI Prize. 682-683
Hajnal Andréka, Johan van Benthem, István Németi:
Back and Forth Between Modal Logic and Classical Logic. 685-720
Branislav R. Boricic:
A Note on Probabilistic Validity Measure in Propositional Calculi. 721-724
Nissim Francez:
Contrastive Logic. 725-744
Inmaculada Perez de Guzmán, Carlos Rossi:
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. 745-764
Renwei Li, José Carmo:
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. 765-790
Viktor Gyuris:
A Short Proof of Representability of Fork Algebras. 791-796
Heinrich Wansing:
Strong Cut-Elimination for Constant Domain First-Order S5. 797-810

Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
Editorial. 826
Jean Goubault:
A BDD-Based Simplification and Skolemization Procedure. 827-855
Stefan Brüning:
Exploiting Equivalences in Connection Calculi. 857-886
Christoph Weidenbach:
First-Order Tableaux with Sorts. 887-906
Marta Cialdea Mayer, Fiora Pirri:
Propositional Abduction in Modal Logic. 907-919
Kevin Wallace, Graham Wrightson:
Regressive Merging in Model Elimination Tableau-Based Theorem Provers. 921-937
Marco Mondadori:
Efficient Inverse Tableaux. 939-953