000 03581nam a22005055i 4500
001 978-3-030-65840-3
003 DE-He213
005 20240423125348.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 .
650 1 4 _aComputer Communication Networks.
700 1 _aMartins, Manuel A.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSedlár, Igor.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
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 _cSPRINGER
999 _c177106
_d177106