05713nam 22006975 450 991048442990332120200919190143.03-662-47197-310.1007/978-3-662-47197-5(CKB)3710000000444429(EBL)3567592(SSID)ssj0001534504(PQKBManifestationID)11891261(PQKBTitleCode)TC0001534504(PQKBWorkID)11513890(PQKB)10669817(DE-He213)978-3-662-47197-5(MiAaPQ)EBC3567592(PPN)187688192(EXLCZ)99371000000044442920150703d2015 u| 0engur|n|---|||||txtccrModality, Semantics and Interpretations The Second Asian Workshop on Philosophical Logic /edited by Shier Ju, Hu Liu, Hiroakira Ono1st ed. 2015.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2015.1 online resource (192 p.)Logic in Asia: Studia Logica Library,2364-4613Description based upon print version of record.3-662-47196-5 Includes bibliographical references at the end of each chapters.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 Preliminaries2.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 Applications4.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 Semantics6.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 Extensions8.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 Completeness9.3.4 Some Strategies of Data Analysis Based on MFXEThis 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.Logic in Asia: Studia Logica Library,2364-4613LogicArtificial intelligenceLogichttps://scigraph.springernature.com/ontologies/product-market-codes/E16000Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logic.Artificial intelligence.Logic.Artificial Intelligence.160Ju Shieredthttp://id.loc.gov/vocabulary/relators/edtLiu Huedthttp://id.loc.gov/vocabulary/relators/edtOno Hiroakiraedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484429903321Modality, Semantics and Interpretations2846001UNINA