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,…
Hyperstates on Involutive Bipartite MTL-algebras: A Preliminary Investigation -- Unification and Admissibility in Region-based Modal Logics of Space -- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear -- Proving Decidability Via a yntactic Proof C…
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 featur…
