Collects studies by leading Asian philosophical logicians
Features the current areas of interest in the world´s logic community
Contains both theoretical and application research
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.
Embedding Coalition Logic in the Minimal NormalMulti-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.
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.
Embedding Coalition Logic in the Minimal NormalMulti-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.
Inhaltsverzeichnis
Embedding Coalition Logic in the Minimal NormalMulti-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.
Klappentext
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.
Collects studies by leading Asian philosophical logicians
rn
Features the current areas of interest in the world's logic community
rn
Contains both theoretical and application research
rn
Includes supplementary material: sn.pub/extras
rn
