Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library) - Image 1

£107.73

Springer Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Name: Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Brand: Springer
Price: 108.08 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 79 days • 79 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 79 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £107 (32 days, 40.5%)

Price range: £107 - £109

Price levels: 3 different prices over 79 days

Description

Product Description 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. From the Back Cover 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. About the Author Fenrong Liu, Distinguished Changjiang professor, Department of Philosophy, Tsinghua University, China. She is known by her works in preference dynamics and social epistemic logics, with numerous high quality publications in these areas. Hiroakira Ono, Emeritus professor, Japan Advanced Institute of Science and Technology, Japan. He has been working in nonclassical logic, in particular, substructural logics and superintuitionistic logics, using both proof-theoretic and algebraic methods. Junhua Yu has been working in (structural) proof theory and its applications in constructive semantics, neighborhood logics, and logics with fixed-points.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 9811522200
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 24 March 2020
Listed Since: 15 November 2019

Barcode

No barcode data available

Springer Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation (Logic in Asia: Studia Logica Library)

Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation (Logic in Asia: Studia Logica Library)

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir: 49 (Logic, Epistemology, and the Unity of Science, 49)

Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen: 454 (Synthese Library)

Handbook of Philosophical Logic: Volume 8

Logic in High Definition: Trends in Logical Semantics: 56

Handbook of Philosophical Logic: Volume 14

Pluralisms in Truth and Logic - Palgrave Innovations in Philosophy

Handbook of Philosophical Logic: Volume 18

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy: 34 (Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures, 34)

Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium: 27 (Publications of the Austrian Ludwig Wittgenstein Society – New Series, 27)

Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)

Johan van Benthem on Logic and Information Dynamics: 5 (Outstanding Contributions to Logic, 5)

Routledge Philosophy of Logical Systems - Contemporary Philosophy