國立虎尾科技大學 |

Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Knowledge, Proof and Dynamics/ edited by Fenrong Liu, Hiroakira Ono, Junhua Yu.
其他題名:	The Fourth Asian Workshop on Philosophical Logic /
其他作者:	Yu, Junhua.
面頁冊數:	IX, 217 p. 172 illus., 16 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Formal Languages. -
電子資源:	https://doi.org/10.1007/978-981-15-2221-5
ISBN:	9789811522215

Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /
Knowledge, Proof and DynamicsThe Fourth Asian Workshop on Philosophical Logic /[electronic resource] :edited by Fenrong Liu, Hiroakira Ono, Junhua Yu. - 1st ed. 2020. - IX, 217 p. 172 illus., 16 illus. in color.online resource. - Logic in Asia: Studia Logica Library,2364-4613. - Logic in Asia: Studia Logica Library,.

Glivenko-Kuroda translation in logics for knowability paradox -- Formal semantics for the Sally-Anne tasks -- Sequential method in dynamic quantum logic -- Sequent calculi for ordered bisemigroups -- Jin Yuelin “Refuting Carroll's attack” on inference -- Local fact change logic -- The modal logics of the poison game -- A logical characterization of the continuous bar induction -- Decidability of a modal logic with predicate abstraction & functions -- Unary temporal logics, points and intervals -- The Zero-One law for sabotage games.

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.

ISBN: 9789811522215

Standard No.: 10.1007/978-981-15-2221-5doiSubjects--Topical Terms:

670059
Mathematical Logic and Formal Languages.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /
LDR:02639nam a22004095i 4500 001 1023406
003 DE-He213
005 20200704052454.0
007 cr nn 008mamaa
008 210318s2020 si | s |||| 0|eng d
020 $a 9789811522215 $9 978-981-15-2221-5
024 7 $a 10.1007/978-981-15-2221-5 $2 doi
035 $a 978-981-15-2221-5
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a Knowledge, Proof and Dynamics $h [electronic resource] : $b The Fourth Asian Workshop on Philosophical Logic / $c edited by Fenrong Liu, Hiroakira Ono, Junhua Yu.
250 $a 1st ed. 2020.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2020.
300 $a IX, 217 p. 172 illus., 16 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Logic in Asia: Studia Logica Library, $x 2364-4613
505 0 $a Glivenko-Kuroda translation in logics for knowability paradox -- Formal semantics for the Sally-Anne tasks -- Sequential method in dynamic quantum logic -- Sequent calculi for ordered bisemigroups -- Jin Yuelin “Refuting Carroll's attack” on inference -- Local fact change logic -- The modal logics of the poison game -- A logical characterization of the continuous bar induction -- Decidability of a modal logic with predicate abstraction & functions -- Unary temporal logics, points and intervals -- The Zero-One law for sabotage games.
520 $a This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Logic. $3 558909
700 1 $a Yu, Junhua. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319323
700 1 $a Ono, Hiroakira. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067291
700 1 $a Liu, Fenrong. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 788051
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811522208
776 0 8 $i Printed edition: $z 9789811522222
776 0 8 $i Printed edition: $z 9789811522239
830 0 $a Logic in Asia: Studia Logica Library, $x 2364-4613 $3 1261685
856 4 0 $u https://doi.org/10.1007/978-981-15-2221-5
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)