default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 16
Volume 16, Number 1, January 2007
- Richard Zuber:
Symmetric and contrapositional quantifiers. 1-13 - Kjell Johan Sæbø:
Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics. 15-33 - Hirohiko Kushida, Mitsu Okada:
A proof-theoretic study of the correspondence of hybrid logic and classical logic. 35-61 - Marta Cialdea Mayer
, Carla Limongelli, Andrea Orlandini, Valentina Poggioni:
Linear temporal logic as an executable semantics for planning languages. 63-89 - John Nolt:
Reference and perspective in intuitionistic logics. 91-115 - Valentin Goranko:
Logic in Computer Science: Modelling and Reasoning About Systems. 117-120
Volume 16, Number 2, April 2007
- Raquel Fernández, Ulle Endriss:
Abstract models for dialogue protocols. 121-140 - Lloyd Humberstone:
Investigations into a left-structural right-substructural sequent calculus. 141-171 - Anne Preller:
Toward discourse representation via pregroup grammars. 173-194 - Jacques Wainer:
Modeling generalized implicatures using non-monotonic logics. 195-216 - John Hale:
Book Review. 217-220 - Ralf Lämmel:
Book Review. 221-232 - Steven Lindell, Scott Weinstein:
Book Review. 233-239
Volume 16, Number 3, July 2007
- Alastair Butler:
Scope control and grammatical dependencies. 241-264 - Robin Clark, Prashant Parikh:
Game theory and discourse anaphora. 265-282 - Zofia Kostrzycka:
The density of truth in monadic fragments of some intermediate logics. 283-302 - Joachim Lambek:
From word to sentence: a pregroup analysis of the object pronoun who ( m ). 303-323 - Philippe Schlenker:
Anti-dynamics: presupposition projection without dynamic semantics. 325-356 - Peter F. Patel-Schneider:
Book Review. 357-359
Volume 16, Number 4, October 2007
- Rodger Kibble, Paul Piwek, Ielka van der Sluis:
Introduction. 361-363 - Robbert-Jan Beun, Rogier M. van Eijk:
Dialogue Coherence: A Generation Framework. 365-385 - Rodger Kibble:
Generating Coherence Relations via Internal Argumentation. 387-402 - Paul Piwek:
Meaning and Dialogue Coherence: A Proof-theoretic Investigation. 403-421 - Albert Gatt, Kees van Deemter:
Lexical Choice and Conceptual Perspective in the Generation of Plural Referring Expressions. 423-443 - Nikiforos Karamanis:
Supplementing Entity Coherence with Local Rhetorical Relations for Information Ordering. 445-464 - Katja Filippova, Michael Strube:
The German Vorfeld and Local Coherence. 465-485
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-12-23 19:34 CET 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:
