Table of Contents for: Modality, semantics and interpretations

 Staff view

You must be logged in to Tag Records

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic /

Shier Ju, Hu Liu, Hiroakira Ono, editors.

Book Cover
Names: Ju, Shier, | Liu, Hu, | Ono, Hiroakira,
Published: Heidelberg : Springer, 2015.
Series: Logic in Asia (Springer (Firm)),
Topics: Logic - Congresses. | Philosophy. | Logic. | Artificial Intelligence (incl. Robotics). | PHILOSOPHY / Logic
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


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

Table of Contents for: Modality, semantics and interpretations