東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dynamic logic = new trends and appli...

DaLi (International Workshop) (2020 :)

FindBook

Google Book

Amazon

博客來

Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dynamic logic/ edited by Manuel A. Martins, Igor Sedlar.
其他題名:	new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
其他題名:	DaLi 2020
其他作者:	Martins, Manuel A.
團體作者:	DaLi (International Workshop)
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	x, 295 p. :ill., digital ;24 cm.
內容註:	Expedition 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.
Contained By:	Springer Nature eBook
標題:	Computer logic - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-65840-3
ISBN:	9783030658403

Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
Dynamic logicnew trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /[electronic resource] :DaLi 2020edited by Manuel A. Martins, Igor Sedlar. - Cham :Springer International Publishing :2020. - x, 295 p. :ill., digital ;24 cm. - Lecture notes in computer science,125690302-9743 ;. - Lecture notes in computer science ;12569..

Expedition 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.

This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLi 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 DaLi 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.

ISBN: 9783030658403

Standard No.: 10.1007/978-3-030-65840-3doiSubjects--Topical Terms:

726280
Computer logic
--Congresses.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
LDR:02871nmm a2200361 a 4500 001 2257526
003 DE-He213
005 20201221092946.0
006 m d
007 cr nn 008maaau
008 220420s2020 sz s 0 eng d
020 $a 9783030658403 $q (electronic bk.)
020 $a 9783030658397 $q (paper)
024 7 $a 10.1007/978-3-030-65840-3 $2 doi
035 $a 978-3-030-65840-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.L63
072 7 $a UKN $2 bicssc
072 7 $a COM075000 $2 bisacsh
072 7 $a UKN $2 thema
082 0 4 $a 005.1015113 $2 23
090 $a QA76.9.L63 $b D143 2020
111 2 $a DaLi (International Workshop) $n (3rd : $d 2020 : $c Online) $3 3528762
245 1 0 $a Dynamic logic $h [electronic resource] : $b new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers / $c edited by Manuel A. Martins, Igor Sedlar.
246 3 $a DaLi 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a x, 295 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12569
490 1 $a Theoretical computer science and general issues
505 0 $a Expedition 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 $a This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLi 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 DaLi 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 $a Computer logic $x Congresses. $3 726280
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Computer Communication Networks. $3 775497
700 1 $a Martins, Manuel A. $3 3408925
700 1 $a Sedlar, Igor. $3 3528763
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12569. $3 3528764
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-65840-3
950 $a Computer Science (SpringerNature-11645)