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.
Innehållsförteckning
Embedding Coalition Logic in the Minimal Normal Multi-Modal Logic with Intersection.- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus.- Conditional Probability Logic over Conditional Probability Spaces.- Finite-Chain Graded Modal Logic.- Knowledge and Local Actions.- Avoiding an Impossibility Theorems in Radical Inquisitive Semantics.- Epistemic Informativeness.- Formalizing the IMA Language: Towards the Minimalist Program for Compositional Semantics.- Similarity of States in Modal Logic.- An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic.- The Minimal System of Justification Logic with Names.