Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic /: the Fourth Asian Workshop on Philosophical Logic. (2020)

• Record Type: Book
• Further Information: Note: Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.
• Other Names: Liu, Fenrong; Ono, Hiroakira; Yu, Junhua; Asian Workshop on Philosophical Logic, 4th
• Contents: 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.
• Publisher Details: Singapore : Springer
• Publication Date: 2020
• Extent: 1 online resource (219 pages)
• Subjects: 160; Logic -- Congresses; Logic; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9789811522215; 9811522219
• Related ISBNs: 9789811522208; 9811522200
• Notes: Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.