Philosophical Logic: Current Trends in Asia Proceedings of AWPL-TPLC 2016

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.

Representing and Completing Lattices by Propositions of Cover Systems.- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness.- Ancient Indian Logic, Paksa and Analogy.- Provability and Decidability of Arithmetical Sentences.- On the Minimization Principle in the Boolean Approach to Causal Discovery.- Contentual and Formal Aspects of Gentzen's Consistency Proofs.- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument.- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers.- On Second Order Propositional Intuitionistic Logics.- Classical Model Existence Theorem in Subclassical Predicate Logics. II.- On Incorporating Reasoning Time into Epistemic Logic.- Proof-theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi.- Varieties of Parthood.- Infinite “Atomic” Mereological Structures.