LEADER 05745nam 2200697 450 001 9910464549903321 005 20200903223051.0 010 $a90-272-7062-7 035 $a(CKB)3710000000092880 035 $a(EBL)1647463 035 $a(SSID)ssj0001132152 035 $a(PQKBManifestationID)11749942 035 $a(PQKBTitleCode)TC0001132152 035 $a(PQKBWorkID)11146897 035 $a(PQKB)10580796 035 $a(MiAaPQ)EBC1647463 035 $a(Au-PeEL)EBL1647463 035 $a(CaPaEBR)ebr10843922 035 $a(CaONFJC)MIL580143 035 $a(OCoLC)872393772 035 $a(EXLCZ)993710000000092880 100 $a20140315h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEvents, arguments, and aspects $etopics in the semantics of verbs /$fedited by Klaus Robering 210 1$aAmsterdam, Netherlands ;$aPhiladelphia, Pennsylvania :$cJohn Benjamins Publishing Company,$d2014. 210 4$d©2014 215 $a1 online resource (381 p.) 225 1 $aStudies in Language Companion Series (SLCS),$x0165-7763 ;$vVolume 152 300 $aDescription based upon print version of record. 311 $a90-272-5917-8 320 $aIncludes bibliographical references at the end of each chapters and indexes. 327 $aEvents, Arguments, and Aspects; Editorial page; Title page; LCC data; Table of contents; Preface; Introduction: Events, arguments, and aspects; 1. Two issues in the semantics of verbs; 2. Arguments; 2.1 Theories of argument structure; 2.2 Introductory comments on the articles; 3. Time, eventities, and aspect; 3.1 Time; 3.2 Eventities; 3.3 Aspect; 3.4 Introductory comments on the articles; 4. Brief note on notation; Bibliography; part i Verb meaning and argument structure; 1. Ergativity and the object-oriented representation of verb meaning; 1. Introduction; 2. The object-oriented paradigm 327 $a3. Polysemy and argument roles4. Ergativity; 5. Correlates of the ergative/absolutive distinction; 5.1 Bondedness to the verb; 5.2 Control phenomena; 6. Conclusion; Bibliography; 2. Grammatical metaphors and there-insertion in Danish; 1. Introduction; 2. Grammatical metaphors; 3. Unaccusativity; 4. The position of the logical subject; 5. Aktionsart and event structure; 6. The there-insertion constraint; 7. Danish transitive verbs in there-constructions(; 8. Formal analysis of transitive verbs; 9. Arguments and topology(; 10. Passives; 11. Conclusion; Bibliography; 3. Abstract objects of verbs 327 $a1. Introduction1.1 Verbs and their arguments; 1.2 Classifying linguistic signs; 2. Explaining the theory; 2.1 The traditional analysis; 2.2 Types and polymorphism(; 2.3 Representation by abstract objects; 2.4 Identifying objects(; 3. Types and representation; 3.1 Types as data types; 3.2 Uniqueness and elimination; 4. Comprehension; 4.1 Problems with functions; 4.2 More problems; 4.3 A way out (?); 5. Historical remarks; 6. Appendix: Ackermann's original system; 6.1 Axioms of propositional logic; 6.2 Axioms of predicate logic; 6.3 Axioms for identity; 6.4 Axioms of class theory; 6.5 Rules 327 $aBibliography4. Object-orientation and the semantics of verbs; 1. Introduction; 2. Object-orientation and its relevance to semantics; 3. Modeling object-oriented: Unified Modeling Language (UML); 4. Verbal meaning; 5. Object-oriented representation of verbal meaning: The basics; 6. Multi-layered architecture; 7. Eventity classes; Bibliography; Part II. Aspect and aktionsart; 5. Aspectual coercion and eventuality structure; 1. Introduction; 2. A survey of eventuality structure; 2.1 Aspectuality and eventuality structure; 2.2 Sortal structure of eventualities 327 $a2.3 Intersortal structure of eventualities3. A system of aspectual coercion; 3.1 Coercion by durative adverbials; 3.2 Coercion by time-span adverbials; 3.3 Coercion by time-point adverbials; 3.4 Coercion by the progressive; 3.5 A two-stage approach: Aspectual coercion as pragmatic enrichment; 4. Conclusion; Bibliography; 6. Phases in verbal semantics; 1. Introduction; 1.1 Phasal verb research and the phasal verb interface complex; 1.2 Classical and medieval reasoning on phasal verbs and its connection with modern theories; 2. Modern approaches to phasal verbs 327 $a2.1 Phasal verbs and the notion of boundedness (Jackendoff) 330 $aThe aspectual interpretation of sentences is constrained by the truth conditions predicates impose on points of times or time intervals. Using data from English, Vendler (1967) established a classification of four verb types on these grounds, that has been widely accepted in linguistic theory. Various researchers, among them Dowty (1979) for English and Ehrich (1992) for German, have proposed finer grained classifications. This paper is very much in the spirit of these proposals. Our aim is a detailed model of the compositional lexical semantics of predicates that models the contrasts of verba 410 0$aStudies in language companion series ;$vVolume 152. 606 $aSemantics, Comparative 606 $aGrammar, Comparative and general$xVerb 606 $aGrammar, Comparative and general$xAspect 606 $aCategorial grammar 608 $aElectronic books. 615 0$aSemantics, Comparative. 615 0$aGrammar, Comparative and general$xVerb. 615 0$aGrammar, Comparative and general$xAspect. 615 0$aCategorial grammar. 676 $a415/.6 702 $aRobering$b Klaus 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464549903321 996 $aEvents, arguments, and aspects$92130762 997 $aUNINA LEADER 04328oas 2201573 a 450 001 9910135776703321 005 20251105213014.0 011 $a1468-8123 035 $a(OCoLC)47806193 035 $a(CONSER) 2001229221 035 $a(CKB)110978984569649 035 $a(MiAaPQ)2034142 035 $a(DE-599)ZDB2045012-6 035 $a(EXLCZ)99110978984569649 100 $a20010820a20019999 sy a 101 0 $aeng 135 $aurunu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGeofluids 210 $aOxford, UK $cBlackwell Science$d2001- 210 2 $a[Oxford?] $cWiley-Blackwell 210 21$a[Place of publication not identified] :$cHindawi 210 31$a[Hoboken, NJ] :$cJohn Wiley & Sons Ltd. 215 $a1 online resource 300 $aRefereed/Peer-reviewed 300 $aTitle from table of contents page (viewed Aug. 19, 2001). 300 $aArticles published as received and compiled into annual volumes. 311 08$a1468-8115 606 $aFluid dynamics$vPeriodicals 606 $aHydrogeology$vPeriodicals 606 $aGroundwater$vPeriodicals 606 $aFluids$xMigration$vPeriodicals 606 $aDynamique des fluides$vPe?riodiques 606 $aHydroge?ologie$vPe?riodiques 606 $aEau souterraine$vPe?riodiques 606 $aFluides$xMigration$vPe?riodiques 606 $aHydrology$2ebps 606 $aFluid Mechanics$2ebps 606 $aGeology$2ebps 606 $aPlanets$xCrust$2fast$3(OCoLC)fst01752006 606 $aFluid dynamics$2fast$3(OCoLC)fst00927973 606 $aFluids$xMigration$2fast$3(OCoLC)fst00928076 606 $aGroundwater$2fast$3(OCoLC)fst00948209 606 $aHydrogeology$2fast$3(OCoLC)fst00965077 606 $aEarth sciences$2galestne 606 $aGeology$2galestne 606 $aDynamique des fluides$2rasuqam 606 $aEau souterraine$2rasuqam 606 $aHydroge?ologie$2rasuqam 606 $aCrou?te terrestre$2rasuqam 607 $aEarth (Planet)$xCrust$vPeriodicals 607 $aTerre$xCrou?te$vPe?riodiques 607 $aEarth (Planet)$2fast$1https://id.oclc.org/worldcat/entity/E39PBJB8v443pPTqgvXgPkBtrq 608 $aPe?riodiques. 608 $aRessources Internet. 608 $aPeriodicals.$2fast 608 $aMAG (Magazine/Journal)$2galestne 608 $aPeriodicals.$2lcgft 608 $aRessource Internet (Descripteur de forme)$2rasuqam 608 $aPe?riodique e?lectronique (Descripteur de forme)$2rasuqam 615 0$aFluid dynamics 615 0$aHydrogeology 615 0$aGroundwater 615 0$aFluids$xMigration 615 6$aDynamique des fluides 615 6$aHydroge?ologie 615 6$aEau souterraine 615 6$aFluides$xMigration 615 7$aHydrology. 615 7$aFluid Mechanics. 615 7$aGeology. 615 7$aPlanets$xCrust. 615 7$aFluid dynamics. 615 7$aFluids$xMigration. 615 7$aGroundwater. 615 7$aHydrogeology. 615 7$aEarth sciences. 615 7$aGeology. 615 7$aDynamique des fluides. 615 7$aEau souterraine. 615 7$aHydroge?ologie. 615 7$aCrou?te terrestre. 676 $a551.49 676 $a532 801 0$bKKU 801 1$bKKU 801 2$bFUG 801 2$bOCLCQ 801 2$bF#A 801 2$bOCLCQ 801 2$bMUQ 801 2$bOCLCQ 801 2$bDLC 801 2$bAZU 801 2$bBRK 801 2$bUKMGB 801 2$bOCLCQ 801 2$bOCLCA 801 2$bSERSO 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bOCLCQ 801 2$bCCT 801 2$bKQW 801 2$bUAB 801 2$bCUS 801 2$bOCLCQ 801 2$bWT2 801 2$bOCLCA 801 2$bOCLCQ 801 2$bAU@ 801 2$bVT2 801 2$bOCLCQ 801 2$bU3W 801 2$bNJT 801 2$bOCL 801 2$bOCLCQ 801 2$bSFB 801 2$bOCLCQ 801 2$bSRU 801 2$bUBY 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCL 801 2$bDLC 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910135776703321 996 $aGeofluids$92101519 997 $aUNINA LEADER 03112nam 22007695 450 001 9910886968003321 005 20251225183442.0 010 $a9783031711626 010 $a3031711629 024 7 $a10.1007/978-3-031-71162-6 035 $a(CKB)34985368400041 035 $a(DE-He213)978-3-031-71162-6 035 $a(MiAaPQ)EBC31727468 035 $a(Au-PeEL)EBL31727468 035 $a(OCoLC)1463089145 035 $a(EXLCZ)9934985368400041 100 $a20240910d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods $e26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part I /$fedited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14933 311 08$a9783031711619 311 08$a3031711610 330 $aThis open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14933 606 $aSoftware engineering 606 $aComputer science 606 $aComputers, Special purpose 606 $aProgramming languages (Electronic computers) 606 $aMicroprogramming 606 $aNatural language processing (Computer science) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Language 606 $aControl Structures and Microprogramming 606 $aNatural Language Processing (NLP) 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aProgramming languages (Electronic computers) 615 0$aMicroprogramming. 615 0$aNatural language processing (Computer science) 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Language. 615 24$aControl Structures and Microprogramming. 615 24$aNatural Language Processing (NLP). 676 $a005.1 702 $aPlatzer$b Andre?$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPradella$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRossi$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910886968003321 996 $aFormal methods$92247212 997 $aUNINA