Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic, Language and Information, Volume 3

> Home > Journals > Journal of Logic, Language and Information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 3, Number 1, January 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AndrekaM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AndrekaM94
Hajnal Andréka, Szabolcs Mikulás:
Lambek Calculus and its relational semantics: Completeness and incompleteness. 1-37
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/FuhrmannH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/FuhrmannH94
André Fuhrmann, Sven Ove Hansson:
A survey of multiple contractions. 39-75

Volume 3, Number 2, April 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jolli/ValS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/ValS94
Alvaro del Val, Yoav Shoham:
Deriving properties of belief update from theories of action. 81-119
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Pentus94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Pentus94
Mati Pentus:
The conjoinability relation in Lambek calculus and linear logic. 121-140
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Chierchia94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Chierchia94
Gennaro Chierchia:
Intensionality and context change. 141-168

Volume 3, Number 3, July 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Penther94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Penther94
Brigitte Penther:
A dynamic logic of action. 169-210
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Bucalo94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Bucalo94
Anna Bucalo:
Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics. 211-232
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Pankratev94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Pankratev94
Nikolai Pankrat'ev:
On the completeness of the Lambek Calculus with respect to relativized Relational Semantics. 233-246

Volume 3, Number 4, December 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jolli/BenthemB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/BenthemB94
Johan van Benthem, Jan A. Bergstra:
Logic of Transition Systems. 247-283
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Lismont94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Lismont94
Luc Lismont:
Common Knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics. 285-302
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AmatiAP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AmatiAP94
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri:
Defaults as restrictions on classical Hilbert-style proofs. 303-326

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.