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 phi
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic
β Scribed by Shier Ju, Hu Liu, Hiroakira Ono (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2015
- Tongue
- English
- Leaves
- 192
- Series
- Logic in Asia: Studia Logica Library
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
β¦ Table of Contents
Front Matter....Pages i-vi
Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection....Pages 1-22
Some Syntactic Interpretations in Different Systems of Full Lambek Calculus....Pages 23-48
Conditional Probability Logic over Conditional Probability Spaces....Pages 49-70
Finite-Chain Graded Modal Logic....Pages 71-85
Knowledge and Local Actions....Pages 87-105
Avoiding Impossibility Theorems in Radical Inquisitive Semantics....Pages 107-120
Epistemic Informativeness....Pages 121-129
Formalizing the IMA Language: Toward the Minimalist Program for Compositional Semantics....Pages 131-144
Similarity of States in Modal Logic....Pages 145-166
An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic....Pages 167-178
The Minimal System of Justification Logic with Names....Pages 179-188
β¦ Subjects
Logic; Artificial Intelligence (incl. Robotics)
π SIMILAR VOLUMES
<span>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, a
βThis volume brings together a group of philosophically oriented logicians and logic-minded philosophers, mainly from Asia, to address a variety of logical and philosophical topics, such as modal logic and related directions (e.g. temporal logic, epistemic logic, deontic logic, logic of conditionals
<p>βThis volume brings together a group of philosophically oriented logicians and logic-minded philosophers, mainly from Asia, to address a variety of logical and philosophical topics, such as modal logic and related directions (e.g. temporal logic, epistemic logic, deontic logic, logic of condition
<p>The first text to combine a clear introduction to formal modal logic with a rigorous presentation of its uses as a tool for philosophical analysis.</p>
<div>This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them par