Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic /: the Fourth Asian Workshop on Philosophical Logic. (2020)
- Record Type:
- Book
- Title:
- Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic /: the Fourth Asian Workshop on Philosophical Logic. (2020)
- Main Title:
- Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.510252
- Ingest File:
- 03_089.xml