Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 11
Volume 11, Number 1, 2002
- Patrick Blackburn:
Editorial. 1 - Alexander Bochman
:
Entrenchment versus Dependence: Coherence and Foundations inBelief Change. 3-27 - Dov M. Gabbay, Guillaume Malod:
Naming Worlds in Modal and Temporal Logic. 29-65 - Ani Nenkova:
A Tableau Method for Graded Intersections of Modalities: A Case for Concept Languages. 67-77 - Antonio Moreno-Sandoval, José Miguel Goñi-Menoyo:
Spanish Inflectional Morphology in DATR. 79-105 - Albert Visser:
The Donkey and the Monoid. Dynamic Semantics with Control Elements. 107-131
Volume 11, Number 2, Spring 2002
- Paul Dekker:
Meaning and Use of Indefinite Expressions. 141-194 - Joeri Engelfriet, Catholijn M. Jonker, Jan Treur:
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. 195-225 - Norihiro Kamide:
Substructural Logics with Mingle. 227-249 - Marcus Kracht:
Referent Systems and Relational Grammar. 251-286
Volume 11, Number 3, Summer 2002
- Paul Dekker, Marc Pauly:
Editorial: Logic and Games. 287-288 - Johan van Benthem:
Extensive Games as Process Models. 289-313 - Peter McBurney, Simon Parsons:
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents. 315-334 - Thorsten Clausing:
A Syntactic Framework with Probabilistic Beliefs and Conditionals for the Analysis of Strategic Form Games. 335-348 - Hans P. van Ditmarsch:
Descriptions of Game Actions. 349-365 - Theo M. V. Janssen:
Independent Choices and the Interpretation of IF Logic. 367-387
Volume 11, Number 4, Fall 2002
- Joeri Engelfriet, Jan Treur:
Linear, Branching Time and Joint Closure Semantics for Temporal Logic. 389-425 - Gerhard Jäger:
Some Notes on the Formal Properties of Bidirectional Optimality Theory. 427-451 - Norihiro Kamide:
Kripke Semantics for Modal Substructural Logics. 453-470 - Luciano Serafini, Fausto Giunchiglia:
ML Systems: A Proof Theory for Contexts. 471-518
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-05-31 18:42 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:
