Knowledge, Proof and Dynamics

£129.50

Knowledge, Proof and Dynamics

The Fourth Asian Workshop on Philosophical Logic

Mathematical foundations Mathematical logic Philosophy: logic Mathematical theory of computation

Dinosaur mascot

Collection: Logic in Asia: Studia Logica Library

Language: English

Published by: Springer

Published on: 23rd March 2020

Format: LCP-protected ePub

Size: 14 Mb

ISBN: 9789811522215


Introduction

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.

Show moreShow less