01832nam 2200421 n 450 99639101160331620200824121853.0(CKB)4940000000105244(EEBO)2240925423(UnM)99854306e(UnM)99854306(EXLCZ)99494000000010524419920720d1560 uy |engurbn||||a|bb|An abridgemente of the notable worke of Polidore Virgile[electronic resource] Conteining the deuisers and fyrste fyneders oute aswell of antyquities, artes, ministeries, feactes and ciuill ordinaunces, as of the rites, and ceremonies, commonlye vsed in the churche: and the original beginning of the same. Compendiouslye gathered and newlye perused by Thomas Langley[Imprynted at London By Ihon Tisdale dwellyng in Knight riders streate, neare to the Quenes Wardrop[ca. 1560]][8], c.lii, [16] leavesA translation and abridgment of: De rerum inventoribus.Printer's name and address from colophon; publication date estimated by STC.Includes index.X7 bears printer's mark; the last leaf is blank.Reproduction of the original in the Henry E. Huntington Library and Art Gallery.eebo-0113InventionsEarly works to 1800Rites and ceremoniesEarly works to 1800InventionsRites and ceremoniesVergil Polydore1470?-1555.929826Langley Thomasd. 1581.1004821Cu-RivESCu-RivESCStRLINWaOLNBOOK996391011603316An abridgemente of the notable worke of Polidore Virgile2374068UNISA03117oam 2200505 450 991043760240332120190911112726.03-642-41389-710.1007/978-3-642-41389-6(OCoLC)868040840(MiFhGG)GVRL6WCV(EXLCZ)99371000000003128520131112d2013 uy 0engurun|---uuuuatxtccrReactive Kripke semantics /Dov M. Gabbay1st ed. 2013.Heidelberg [Germany] :Springer,2013.1 online resource (xii, 442 pages) illustrations (some color)Cognitive Technologies,1611-2482"ISSN: 1611-2482."3-642-41388-9 Includes bibliographical references and index.Chap.1 - A Theory of Hypermodal Logics -- Chap.2 - Introducing Reactive Kripke Semantics and Arc Accessibility -- Chap.3 - Introducing Reactive Modal Tableaux -- Chap.4 - Reactive Intuitionistic Tableaux -- Chap.5 - Completeness Theorems for Reactive Modal Logics -- Chap.6 - Modal Logics of Reactive Frames -- Chap.7 - Global View on Reactivity: Switch Graphs and their Logics -- Chap.8 - Reactive Automata -- Chap.9 - Reactivity and Grammars: An Exploration -- Chap.10 - Reactive Flow Products -- Chap.11 - Reactive Standard Deontic Logic -- Chap.12 - Reactive Preferential Structures and Nonmonotonic Consequence -- References -- Index.This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures. Reactive Kripke semantics is the next step in the evolution of possible world semantics for non-classical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students.Cognitive technologies.Computer scienceLogicArtificial intelligenceLogic, Symbolic and mathematicalComputer science.Logic.Artificial intelligence.Logic, Symbolic and mathematical.005.131Gabbay Dov Mauthttp://id.loc.gov/vocabulary/relators/aut56838MiFhGGMiFhGGBOOK9910437602403321Reactive Kripke Semantics2496662UNINA01980nam 2200565Ia 450 991095544990332120250602125253.097866121563599781282156357128215635797890272940679027294062(CKB)1000000000244083(SSID)ssj0000239345(PQKBManifestationID)11205967(PQKBTitleCode)TC0000239345(PQKBWorkID)10239882(PQKB)10638466(MiAaPQ)EBC623070(Au-PeEL)EBL623070(CaPaEBR)ebr10103927(CaONFJC)MIL215635(OCoLC)233696924(DE-B1597)720555(DE-B1597)9789027294067(EXLCZ)99100000000024408320050901d2005 uy 0engurcn|||||||||Romance languages and linguistic theory 2003 selected papers from "Going Romance" 2003, Nijmegen, 20-22 November /edited by Twan Geerts, Ivo van Ginneken, Haike JacobsAmsterdam John Benjamins20051 online resource (viii, 369 p.)Amsterdam studies in the theory and history of linguistic science. Series IV, Current issues in linguistic theory ;v. 2709789027247841 9027247846 Includes bibliographical references and index.Amsterdam studies in the theory and history of linguistic science.Series IV,Current issues in linguistic theory ;v. 270.Romance languagesCongressesRomance languages440Geerts Twan292874Ginneken Ivo van292875Jacobs Haike1961-287397MiAaPQMiAaPQMiAaPQBOOK9910955449903321Romance languages and linguistic theory 20034345352UNINA