


default search action
Journal of Logic, Language and Information, Volume 2
Volume 2, Number 1, March 1993
- Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel

, Werner Nutt, Gert Smolka:
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. 1-18 - Wiebe van der Hoek

, Maarten de Rijke:
Generalized quantifiers and modal logic. 19-58 - Grigori Mints:

Resolution calculus for the first order linear logic. 59-83
Volume 2, Number 2, June 1993
- Peter Pagin, Dag Westerståhl:

Predicate logic with flexibly binding operators and natural language semantics. 89-128 - Patrick Blackburn

, Edith Spaan:
A modal perspective on the computational complexity of attribute value grammar. 129-169
Volume 2, Number 3, July 1993
- Fairouz Kamareddine, Ewan Klein

:
Polymorphism, Type containment and Nominalization. 171-215 - C. F. M. Vermeulen:

Sequence semantics for dynamic predicate logic. 217-254
Volume 2, Number 4, October 1993
- Sven Ove Hansson:

Changes of disjunctively closed bases. 255-284 - Heinrich Wansing

:
Informational interpretation of substructural propositional logics. 285-308 - I. L. Humberstone

:
Functional dependencies, supervenience, and consequence relations. 309-336

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














