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 BibTeX
Rolf Backofen, James Rogers, K. Vijay-Shanker: A First-Order Axiomatization of the Theory of Finite Trees. 5-39 BibTeX
Marcus Kracht: Syntactic Codes and Grammar Refinement. 41-60 BibTeX
Lawrence S. Moss, David E. Johnson: Dynamic Interpretations of Constraint-Based Grammar Formalisms. 61-79 BibTeX

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

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

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