Logic in High Definition

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics.The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic. 

Chapter 1. Logic in High Definition, Trends in Logical Semantics (Alessandro Giordani and Jacek Malinowski).- Chapter 2. Relating Semantics as Fine-grained Semantics for Intensional Propositional Logics (Tomasz Jarmuzek). Chapter 3. Some Intensional Logics Defined by Relating Semantics and Tableau systems (Tomasz Jarmuzek and Mateusz Klonowski).- Chapter 4. Relating Semantics for Connexive Logic (Jacek Malinowski and Rafał Palczewski).- Chapter 5. Discussion Note: Exact Truthmaking as Inexact Truthmaking by Minimal Totality Facts (Hannes Leitgeb).- Chapter 6. Hyperintensionality in Imagination (Pierre Saint-Germier).- Chapter 7. Deontic Logic with Action Types and Tokens (Alessandro Giordani).- Chapter 8. Causal Agency and Responsibility: A Refinement of STIT Logic (Alexandru Baltag, Ilaria Canavotto and Sonja Smets).- Chapter 9. Impossible Individuals as Necessarily Empty Individual Concepts (Marie Duzı, Daniela Glavanicova and Bjørn Jespersen).- Chapter 10. Metalinguistic Focus in P-HYPE Semantics (Luke Burke).