Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics / / edited by Hans van Ditmarsch, Gabriel Sandu
| Jaakko Hintikka on Knowledge and Game-Theoretical Semantics / / edited by Hans van Ditmarsch, Gabriel Sandu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (634 pages) : illustrations |
| Disciplina | 160 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic
Mathematical logic Game theory Semantics Mathematics—Philosophy Mathematical Logic and Foundations Game Theory Philosophy of Mathematics |
| ISBN | 3-319-62864-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910300620403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Rationality, and Interaction [[electronic resource] ] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / / edited by Hans van Ditmarsch, Jerome Lang, Shier Ju
| Logic, Rationality, and Interaction [[electronic resource] ] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / / edited by Hans van Ditmarsch, Jerome Lang, Shier Ju |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 403 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Computers Mathematical Logic and Formal Languages Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Logics and Meanings of Programs Theory of Computation |
| ISBN | 3-642-24130-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465383303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools for Teaching Logic [[electronic resource] ] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / / edited by Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
| Tools for Teaching Logic [[electronic resource] ] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / / edited by Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 257 p. 43 illus., 31 illus. in color.) |
| Disciplina | 160.71 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Education—Data processing Science education Artificial Intelligence Mathematical Logic and Formal Languages Computers and Education Mathematical Logic and Foundations Science Education |
| ISBN | 3-642-21350-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465574703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||