• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

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

Paperback

Series: Logic in Asia: Studia Logica Library

FictionGeneral ComputersLogic

ISBN10: 9811522235
ISBN13: 9789811522239
Publisher: Springer
Published: Mar 24 2021
Pages: 217
Weight: 0.72
Height: 0.48 Width: 6.14 Depth: 9.21
Language: English
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.

1 different editions

Also available

Also in

Logic