![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Logic, Language and Information, Volume 1
Volume 1, Number 1, March 1992
- Jan van Eijck, Fer-Jan de Vries:
Dynamic Interpretation and Hoare Deduction. 1-44 - Hans Rott
:
Preferential Belief Change Using Generalized Epistemic Entrenchment. 45-78 - Fairouz Kamareddine:
λ-Terms, Logic, Determiners and Quantifiers. 79-104
Volume 1, Number 2, June 1992
- Brian Skyrms:
Chaos in game dynamics. 111-130 - Jürgen Dix, David Makinson:
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. 131-140 - Makoto Kanazawa:
The Lambek calculus enriched with additional connectives. 141-171
Volume 1, Number 3, September 1992
- Kosta Dosen:
Modal logic as metalogic. 173-201 - Marcelo Finger, Dov M. Gabbay:
Adding a temporal dimension to a logic system. 203-233 - Marcello D'Agostino
:
Are tableaux an improvement on truth-tables? 235-252
Volume 1, Number 4, December 1992
- Nicola Olivetti, Lea Terracini
:
N-Prolog and equivalence of logic programs. 253-340
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.