default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-11-04 20:32 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:
