Journal of Logic, Language and Information, Volume 4

Volume 4, Number 1, April 1995

• Patrick Blackburn: Introduction: Static and Dynamic Aspects of Syntactic Structure. 1-4
• Rolf Backofen, James Rogers, K. Vijay-Shanker: A First-Order Axiomatization of the Theory of Finite Trees. 5-39
• Marcus Kracht: Syntactic Codes and Grammar Refinement. 41-60
• Lawrence S. Moss, David E. Johnson: Dynamic Interpretations of Constraint-Based Grammar Formalisms. 61-79

Volume 4, Number 2, 1995

• Fairouz Kamareddine: A Type Free Theory and Collective/Distributive Predication. 85-109
• M. Andrew Moshier: A Rational Reconstruction of the Domain of Feature Structures. 111-143
• Cristina Bicchieri, Gian Aldo Antonelli: Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. 145-167
• Martin W. Bunder: A Simplified Form of Condensed Detachment. 169-173

Volume 4, Number 3, 1995

• Jerry Seligman: Preface. 175-176
• Natasha Alechina: On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. 177-189
• Ágnes Kurucz, István Németi, Ildikó Sain, András Simon: Decidable and Undecidable Logics with a Binary Modality. 191-206
• Maarten Marx, Szabolcs Mikulás, István Németi: Taming Logic. 207-226
• Maarten de Rijke: The Logic of Peirce Algebras. 227-250
• Patrick Blackburn, Jerry Seligman: Hybrid Languages. 251-272

Volume 4, Number 4, 1995

• John Nerbonne: Nominal Comparatives and Generalized Quantifiers. 273-300
• M. Dusche: Interpreted Logical Forms as Objects of the Attitudes. 301-315
• Zbigniew Stachniak: Nonmonotonic Theories and Their Axiomatic Varieties. 317-334
• Elzbieta Hajnicz: Some Considerations on Non-linear Time Intervals. 335-357