che-chandler.de
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
eBook
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783662471975
Veröffentl:
2015
Einband:
eBook
Seiten:
188
Autor:
Shier Ju
Serie:
Logic in Asia: Studia Logica Library
eBook Typ:
PDF
eBook Format:
Reflowable eBook
Kopierschutz:
NO DRM
Sprache:
Englisch
Beschreibung:
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.
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.