Vai al contenuto principale della pagina
Titolo: | Modality, Semantics and Interpretations : The Second Asian Workshop on Philosophical Logic / / edited by Shier Ju, Hu Liu, Hiroakira Ono |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Edizione: | 1st ed. 2015. |
Descrizione fisica: | 1 online resource (192 p.) |
Disciplina: | 160 |
Soggetto topico: | Logic |
Artificial intelligence | |
Artificial Intelligence | |
Persona (resp. second.): | JuShier |
LiuHu | |
OnoHiroakira | |
Note generali: | Description based upon print version of record. |
Nota di bibliografia: | Includes bibliographical references at the end of each chapters. |
Nota di contenuto: | Contents; 1 Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection; 1.1 Introduction; 1.2 Background; 1.2.1 Coalition Logic; 1.2.2 Multimodal K with Intersection of Modalities; 1.3 Injective Games; 1.3.1 Effectivity Functions and Representation; 1.4 Multimodal K with Intersection for Games; 1.4.1 Joint Action Models; 1.4.2 Embedding of CL ; 1.5 Axiomatization of Joint Action Models; 1.6 Complexity; 1.7 Discussion; References; 2 Some Syntactic Interpretations in Different Systems of Full Lambek Calculus; 2.1 Introduction and Preliminaries |
2.2 An Interpretation of FNLastS in FNLS2.3 Multiplicative Fragments; 2.4 Distributive and Modal Logics; 2.5 Applications; References; 3 Conditional Probability Logic over Conditional Probability Spaces; 3.1 Introduction; 3.2 Conditional Probability Belief Logic; 3.3 Axioms; 3.3.1 Soundness; 3.3.2 Completeness; 3.4 Public Announcement Logic; 3.5 Conclusion; References; 4 Finite-Chain Graded Modal Logic; 4.1 Introduction; 4.2 Language and Semantics; 4.3 Hilbert-Style Axiomatization; 4.4 Normal Finite-Chain Graded Modal Logics; 4.5 Algebraic Completeness; 4.6 Applications | |
4.7 Conclusion and Future DirectionsReferences; 5 Knowledge and Local Actions; 5.1 Overview; 5.1.1 In Praise of Local Action; 5.1.2 This Study; 5.2 Single Agent Systems; 5.3 Systems with Many Agents; 5.3.1 Distributed Alphabets; 5.3.2 Knowledge Transition Systems; 5.4 Undecidability; 5.5 Discussion; References; 6 Avoiding Impossibility Theorems in Radical Inquisitive Semantics; 6.1 Introduction; 6.2 Conservative Inquisitive Semantics; 6.2.1 The Inquisitive Model; 6.2.2 Inductive Definition of Inquisitive Meaning; 6.3 Radical Inquisitive Semantics | |
6.4 Impossibility Theorems in Radical Inquisitive Semantics6.5 Approximating Negative Inquisitive Meaning of Implication; 6.6 Concluding Remark; References; 7 Epistemic Informativeness; 7.1 Introduction; 7.2 Formalization and Proofs; 7.3 Conclusion; References; 8 Formalizing the IMA Language: Toward the Minimalist Program for Compositional Semantics; 8.1 Introduction; 8.2 English as a Formal Language Revisited; 8.3 The IMA Language as a Prototype; 8.4 A Logic for the IMA Language; 8.4.1 Syntax; 8.4.2 Semantics; 8.4.3 Proof System; 8.4.4 Soundness and Completeness; 8.5 Possible Extensions | |
8.5.1 Adding Constraints on R8.5.2 Adding Function Words; 8.5.3 Adding More Grammars; 8.5.4 Adding Contexts; 8.6 Concluding Remarks; References; 9 Similarity of States in Modal Logic; 9.1 Motivation; 9.2 Models of Restricted Flux Generated by Assignments; 9.2.1 The Change Between Adjacent States; 9.2.2 The Models; 9.2.3 The Properties of Models; 9.2.4 Axioms; 9.2.5 Soundness; 9.2.6 Canonical Model; 9.2.7 Step-by-Step; 9.2.8 Applications; 9.3 Many Dimensions Model Generated by an Assignment; 9.3.1 Language and Model; 9.3.2 Axioms; 9.3.3 Soundness and Completeness | |
9.3.4 Some Strategies of Data Analysis Based on MFXE | |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Modality, Semantics and Interpretations |
ISBN: | 3-662-47197-3 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484429903321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |