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

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.

• Format: Hardcover
• Language: English
• ISBN: 9811522200
• ISBN13: 9789811522208
• Release Date: March 2020
• Publisher: Springer
• Length: 217 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"