Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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.
last updated on 2024-04-22 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
