| 000 | 03619nam a22005055i 4500 | ||
|---|---|---|---|
| 001 | 978-3-030-65840-3 | ||
| 003 | DE-He213 | ||
| 005 | 20240730175037.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 201221s2020 sz | s |||| 0|eng d | ||
| 020 |
_a9783030658403 _9978-3-030-65840-3 |
||
| 024 | 7 |
_a10.1007/978-3-030-65840-3 _2doi |
|
| 050 | 4 | _aTK5105.5-5105.9 | |
| 072 | 7 |
_aUKN _2bicssc |
|
| 072 | 7 |
_aCOM043000 _2bisacsh |
|
| 072 | 7 |
_aUKN _2thema |
|
| 082 | 0 | 4 |
_a004.6 _223 |
| 245 | 1 | 0 |
_aDynamic Logic. New Trends and Applications _h[electronic resource] : _bThird International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers / _cedited by Manuel A. Martins, Igor Sedlár. |
| 250 | _a1st ed. 2020. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
| 300 |
_aX, 295 p. 83 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, _x2512-2029 ; _v12569 |
|
| 505 | 0 | _aExpedition in the Update Universe -- Thinking about Causation: A Causal Language with Epistemic Operators -- Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier Schipper Model -- Dealing with Unreliable Agents in Dynamic Gossip Belief Based on Inconsistent Information -- Parameterized Complexity of Dynamic Belief Updates -- Default Modal Systems as Algebraic Updates -- Expressivity of Some Versions of APAL -- Constructive Dynamic Logic of Relation Changers -- Complexity of Commutative Infinitary Action Logic -- Grounding Awareness on Belief Bases -- Ecumenical Modal Logic -- Inquisitive Dynamic Epistemic Logic in a Non-Classical Setting -- Public Announcement Logic in HOL -- Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge -- Simpler Completeness Proofs for Modal Logics with Intersection -- Arbitrary Propositional Network Announcement Logic. | |
| 520 | _aThis book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. | ||
| 650 | 0 |
_aComputer networks . _931572 |
|
| 650 | 1 | 4 |
_aComputer Communication Networks. _9115215 |
| 700 | 1 |
_aMartins, Manuel A. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9115216 |
|
| 700 | 1 |
_aSedlár, Igor. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9115217 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9115218 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030658397 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030658410 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12569 _9115219 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-65840-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c89755 _d89755 |
||