Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several ye...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Outstanding Contributions to Logic,
12 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Short overview of the development of Hintikka's work in logic
- From Pictures to Semantical Games: Hintikka's Journey through Semantic Representationalism
- Is natural semantics possible? - ordinary English, formal deformationscum-reformations and the limits of model theory
- Knowing-who in quantified epistemic logic
- Group Knowledge in Interrogative Epistemology
- Known Unknowns: Time bounds and Knowledge of Ignorance
- Topological Subset Space Models for Public Announcements
- Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
- Playing Cards with Hintikka
- On Semantic Games for Lukasiewicz Logic
- Hintikka and Frege on Quantifiers
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions
- Logical Dialogues with Explicit Preference Profiles and Strategy Selection
- Hintikka's Knowledge and Belief in Flux
- Possible worlds semantics based on observation and communication
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic
- Borel Sets in the Generalized Baire Space and Infinitary Languages
- Questions of Epistemic Logic in Hintikka
- The Proof Theory of Common Knowledge
- Knowability and a New Paradox of Happiness
- Some Tools for Analyzing Strategic Games of Independence-Friendly Logic and Their Applications
- Beyond knowing that: A new generation of epistemic logics
- Epistemic Logic with Evidence and Relevant Alternatives.