LEADER 05713nam 22006975 450 001 9910484429903321 005 20200919190143.0 010 $a3-662-47197-3 024 7 $a10.1007/978-3-662-47197-5 035 $a(CKB)3710000000444429 035 $a(EBL)3567592 035 $a(SSID)ssj0001534504 035 $a(PQKBManifestationID)11891261 035 $a(PQKBTitleCode)TC0001534504 035 $a(PQKBWorkID)11513890 035 $a(PQKB)10669817 035 $a(DE-He213)978-3-662-47197-5 035 $a(MiAaPQ)EBC3567592 035 $a(PPN)187688192 035 $a(EXLCZ)993710000000444429 100 $a20150703d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aModality, Semantics and Interpretations $eThe Second Asian Workshop on Philosophical Logic /$fedited by Shier Ju, Hu Liu, Hiroakira Ono 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (192 p.) 225 1 $aLogic in Asia: Studia Logica Library,$x2364-4613 300 $aDescription based upon print version of record. 311 $a3-662-47196-5 320 $aIncludes bibliographical references at the end of each chapters. 327 $aContents; 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 327 $a2.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 327 $a4.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 327 $a6.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 327 $a8.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 327 $a9.3.4 Some Strategies of Data Analysis Based on MFXE 330 $aThis 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. 410 0$aLogic in Asia: Studia Logica Library,$x2364-4613 606 $aLogic 606 $aArtificial intelligence 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aLogic. 615 0$aArtificial intelligence. 615 14$aLogic. 615 24$aArtificial Intelligence. 676 $a160 702 $aJu$b Shier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Hu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOno$b Hiroakira$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484429903321 996 $aModality, Semantics and Interpretations$92846001 997 $aUNINA