國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dynamic logicnew trends and applicat...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dynamic logicedited 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.
團體作者:
出版者:	Cham :Springer International Publishing :2020.
面頁冊數:	x, 295 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer logicCongresses.
電子資源:	https://doi.org/10.1007/978-3-030-65840-3
ISBN:	9783030658403$q(electronic bk.)

Dynamic logicnew 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 ;4891..

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$q(electronic bk.)

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

443053
Computer logic
--Congresses.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Dynamic logicnew trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
LDR:02871nmm a2200361 a 4500 001 591431
003 DE-He213
005 20201221092946.0
006 m d
007 cr nn 008maaau
008 210629s2020 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $v Congresses. $3 443053
650 0 $a Software engineering $3 253562
650 1 4 $a Computer Communication Networks. $3 218087
700 1 $a Martins, Manuel A. $3 838967
700 1 $a Sedlar, Igor. $3 882906
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-65840-3
950 $a Computer Science (SpringerNature-11645)