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.

Les mer
<p>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.</p>
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.
Les mer

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.

Les mer
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 Includes supplementary material: sn.pub/extras
Les mer
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783662517178
Publisert
2016-10-18
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG; Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet