| 000 | 01148camuu2200301 a 4500 | |
| 001 | 000000774503 | |
| 005 | 20020715144950 | |
| 008 | 950228s1995 ne a b 101 0 eng | |
| 010 | ▼a 95011570 | |
| 020 | ▼a 0792334329 (acid-free paper) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM ▼d UBA ▼d OCL ▼d 211009 | |
| 049 | ▼a KUBA ▼l 111216250 | |
| 050 | 0 0 | ▼a P39 ▼b .A66 1995 |
| 082 | 0 0 | ▼a 401 ▼2 21 |
| 090 | ▼a 401 ▼b A6521 | |
| 245 | 0 0 | ▼a Applied logic : ▼b how, what, and why : logical approaches to natural language / ▼c edited by Laszlo Polos and Michael Masuch. |
| 260 | ▼a Dordrecht ; ▼a Boston : ▼b Kluwer Academic Publishers, ▼c c1995. | |
| 300 | ▼a viii, 392 p. : ▼b ill. ; ▼c 23 cm. | |
| 440 | 0 | ▼a Synthese library ; ▼v v. 247 |
| 500 | ▼a Proceedings of a conference held in Dec. 1992 in Amsterdam, Netherlands. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Language and logic ▼v Congresses. |
| 650 | 0 | ▼a Logic, Symbolic and mathematical ▼v Congresses. |
| 650 | 7 | ▼a Linguistica computacional ▼2 larpcal |
| 653 | 0 | ▼a Logic |
| 700 | 1 | ▼a Polos, Laszlo. |
| 700 | 1 | ▼a Masuch, Michael , ▼d 1949- |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Main Library/Western Books/ | Call Number 401 A6521 | Accession No. 111216250 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
Preface. Pragmatic Reasoning. A Model-Based Theory; J. Bell. Verb-Phrase Ellipsis in Dynamic Semantics; J. van Eijck, N. Francez. Optimization of Deduction for Multi-Modal Logics; O. Gasquet. Are Types Needed for Natural Language? F. Kamareddine. Indexical Dynamics; I. Lewin. Implicit and Explicit Definability in Modal and Temporal Logics; L. Maksimova. Evolving Algebras and Mathematical Models of Language; L.S. Moss, D.E. Johnson. Information States in Situation Theory; L. Polos, M. Masuch. Logic Finite Automata; K.U. Schulz, D.M. Gabbay. Dynamic Aspect Trees; J. Seligman, A. ter Meulen. Logic as a Foundation for a Cognitive Theory of Modality Assignment; K. Stenning. Meeting a Modality? Restricted Permutation for the Lambek Calculus; Y. Venema. Update Semantics for Propositional Texts; C. Vermeulen. Index.
Information Provided By: :
