000 | 04376nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-319-73579-5 | ||
003 | DE-He213 | ||
005 | 20210201191512.0 | ||
007 | cr nn 008mamaa | ||
008 | 180102s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319735795 _9978-3-319-73579-5 |
||
050 | 4 | _aQ334-342 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
072 | 7 |
_aUYQ _2thema |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aDynamic Logic. New Trends and Applications _h[electronic resource] : _bFirst International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / _cedited by Alexandre Madeira, Mário Benevides. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aIX, 201 p. 25 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues ; _v10669 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aUndecidability of Relation-Changing Modal Logics -- Axiomatization and computability of a variant of iteration-free PDL with fork -- A Dynamic Logic for Learning Theory -- Layered logics, coalgebraically -- A Dynamic Informational-Epistemic Logic -- Dynamic Epistemic Logics of Introspection -- Logics for Actor Networks: a case study in constrained hybridization -- Parity Games and Automata for Game Logic -- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment -- Dynamic Logic: A personal perspective -- The Creation and Change of Social Networks: a logical study based on group size. | |
520 | _aThis book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design. . | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer organization. | |
650 | 0 | _aOptical data processing. | |
650 | 0 | _aComputer security. | |
650 | 0 | _aE-commerce. | |
650 | 0 | _aMathematical logic. | |
650 | 1 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
650 | 2 | 4 |
_aComputer Systems Organization and Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13006 |
650 | 2 | 4 |
_aImage Processing and Computer Vision. _0https://scigraph.springernature.com/ontologies/product-market-codes/I22021 |
650 | 2 | 4 |
_aSystems and Data Security. _0https://scigraph.springernature.com/ontologies/product-market-codes/I28060 |
650 | 2 | 4 |
_ae-Commerce/e-business. _0https://scigraph.springernature.com/ontologies/product-market-codes/I26000 |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
700 | 1 |
_aMadeira, Alexandre. _eeditor. _0(orcid)0000-0002-0646-2017 _1https://orcid.org/0000-0002-0646-2017 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBenevides, Mário. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319735788 |
776 | 0 | 8 |
_iPrinted edition: _z9783319735801 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10669 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-73579-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c244197 _d244196 |