Structural Analysis of Non-Classical Logics

1. Front Matter

   Pages i-xv

   PDF

2. Semantical Approach to Cut Elimination and Subformula Property in Modal Logic

   • Hiroakira Ono

   Pages 1-15

3. Ultraproducts of Admissible Models for Quantified Modal Logic

   • Robert Goldblatt

   Pages 17-36

4. Logic and/of Truthmaking

   • Jamin Asay

   Pages 37-55

5. Structural Models for Williamson’s Modal Epistemology

   • Duen-Min Deng

   Pages 57-81

6. Motivating the Causal Modeling Semantics of Counterfactuals, or, Why We Should Favor the Causal Modeling Semantics over the Possible-Worlds Semantics

   • Kok Yong Lee

   Pages 83-110

7. The Meaning of Epistemic Modality and the Absence of Truth

   • Hanti Lin

   Pages 111-130

8. Revising a Labelled Sequent Calculus for Public Announcement Logic

   • Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo

   Pages 131-157

9. Logics for Dynamic Epistemic Behavioral Strategies

   • Joshua Sack

   Pages 159-182

10. Measurement-Theoretic Foundations of Observational-Predicate Logic

    • Satoru Suzuki

    Pages 183-199

11. Channel Theoretic Reflections on Dynamic Logics of Speech Acts

    • Tomoyuki Yamada

    Pages 201-221

12. Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

    • Sakiko Yamasaki, Katsuhiko Sano

    Pages 223-251

13. Common Knowledge and the Knowledge Account of Assertion

    • Syraya Chin-Mu Yang

    Pages 253-278

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.

• common knowledge and assertion
• dynamic/epistemic logic
• incompatible paraconsistency
• interpolation properties
• justification logic
• logic for games

• Department of Philosophy, National Taiwan University, Taipei, Taiwan

  Syraya Chin-Mu Yang, Duen-Min Deng

• Department of Philosophy, University of California, Davis, CA, Australia

  Hanti Lin

Policies and ethics