Applied logic: how, what and why. Logical approaches to natural language. Papers presented at the international conference “Applied logic: logic at work”, held in Amsterdam (Netherlands), December 1992. (English) Zbl 0829.00016
Synthese Library. 247. Dordrecht: Kluwer Academic Publishers. viii, 392 p. (1995).
Show indexed articles as search result.
The articles of this volume will be reviewed individually.Indexed articles:
Bell, John, Pragmatic reasoning. A model-based theory, 1-27 [Zbl 0839.03017]
van Eijck, Jan; Francez, Nissim, Verb-phrase ellipsis in dynamic semantics, 29-59 [Zbl 0839.03018]
Gasquet, Olivier, Optimization of deduction for multi-modal logics, 61-77 [Zbl 0839.03005]
Kamareddine, Fairouz, Are types needed for natural language?, 79-120 [Zbl 0847.03016]
Lewin, Ian, Indexical dynamics, 121-151 [Zbl 0850.03042]
Maksimova, Larisa, Implicit and explicit definability in modal and temporal logics, 153-159 [Zbl 0842.03013]
Moss, L. S.; Johnson, D. E., Evolving algebras and mathematical models of language, 161-194 [Zbl 0850.03041]
Pólos, László; Masuch, Michael, Information states in situation theory, 195-236 [Zbl 0850.03043]
Schulz, Klaus U.; Gabbay, Dov M., Logic finite automata, 237-285 [Zbl 0843.03022]
Seligman, J.; Ter Meulen, A., Dynamic aspect trees, 287-320 [Zbl 0850.03040]
Stenning, Keith, Logic as a foundation for a cognitive theory of modality assignment, 321-342 [Zbl 0850.03047]
Venema, Yde, Meeting a modality? Restricted permutation for the Lambek calculus, 343-361 [Zbl 0845.03001]
Vermeulen, Cees, Update semantics for propositional texts, 363-386 [Zbl 0850.03044]
MSC:
| 00B25 | Proceedings of conferences of miscellaneous specific interest |
| 03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
| 68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
