Johan van Benthem on Logic and Information Dynamics
-15%
portes grátis
Johan van Benthem on Logic and Information Dynamics
Smets, Sonja; Baltag, Alexandru
Springer International Publishing AG
09/2016
1027
Mole
Inglês
9783319382975
15 a 20 dias
Descrição não disponível.
Preface; Johan van Benthem.- Introduction; Alexandru Baltag and Sonja Smets.- Part I. Mathematical and Computational Perspectives.- The Freedoms of (Guarded) Bisimulation; Erich Graedel and Martin Otto.- Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective; Yde Venema.- Schema Mappings: A Case of Logical Dynamics in Database Theory; Balder ten Cate and Phokion G. Kolaitis.- On Dependence Logic; Pietro Galliani, Jouko Vaeaenaenen.- Intensionality, Definability and Computation; Samson Abramsky.- Comparing Theories: The Dynamics of Changing Vocabulary; Hajnal Andreka and Istvan Nemeti.- Part II. Dynamics of Knowledge and Belief Over Time.- Dynamic Epistemic Logics; Jan van Eijck.- Belief Revision and Dynamic Logic; Patrick Girard and Hans Rott.- Temporal Aspects of the Dynamics of Knowledge; Valentin Goranko and Eric Pacuit.- Logic and Learning; Nina Gierasimczuk, Vincent F. Hendricks, and Dick de Jongh.- A Computational Learning Semantics for Inductive Empirical Knowledge; Kevin T. Kelly.- Structures for Epistemic Logic; Nick Bezhanishvili and Wiebe van der Hoek.- Logic and Probabilistic Update; Lorenz Demey and Barteld Kooi.- Belief as a Simplification of Probability, and What This Entails; Hannes Leitgeb.- Part III. Games.- Logic and Game Theory; Giacomo Bonanno and Cedric Degremont.- Knowledge Games and Coalitional Abilities; Thomas agotnes and Hans van Ditmarsch.- On Definitive Solutions of Strategic Games; Sergei Artemov.- Logical Player Types for a Theory of Play; Ram Ramanujam.- An Alternative Analysis of Signaling Games; Gabriel Sandu.- Part IV. Agency.- Them and Us: Autonomous Agents in Vivo and in Silico; Peter Millican and Michael Wooldridge.- Incorporating Action Models into the Situation Calculus; Yongmei Liu and Hector J. Levesque.- Roles, Rigidity, and Quantification in Epistemic Logic; Wesley H. Holliday and John Perry.- Stit Logics, Games, Knowledge, and Freedom; Roberto Ciuni and John Horty.- The Logic of Best Actions from aDeontic Perspective; Olivier Roy, Albert J.J. Anglberger and Norbert Gratzl.- When Are Two Arguments the Same? Equivalence in Abstract Argumentation; Dov Gabbay and Davide Grossi.- Part V. Language and Cognition.- Three Etudes on Logical Dynamics and the Program of Natural Logic; Lawrence S. Moss.- From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value; Sven Ove Hansson and Fenrong Liu.- Arguing about Dynamic Meaning; Martin Stokhof.- Logic of and for Language, and Logic of and for Mind; Hans Kamp.- Logic and Complexity in Cognitive Science; Alistair M.C. Isaac and Jakub Szymanik and Rineke Verbrugge.- Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient; Peter Gaerdenfors.- Part VI. Styles of Reasoning.- Dynamic vs. Classical consequence; Denis Bonnay and Dag Westerstahl.- Dynamic Epistemic Logic as a Substructural Logic; Guillaume Aucher.- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras; J. Michael Dunn.- Situation Theory Reconsidered; Jeremy Seligman.- Unified Correspondence; Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano.- Conclusions.- Reflections; Johan van Benthem.- Scientific Autobiography; Johan van Benthem.- Bibliography.- Publications.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Action models;Belief revision;Bisimulation;Dynamic Epistemic Logic;Dynamic semantics;Game semantics;Language and cognition;Logic and epistemology;Logic and games;Logical dynamics;Natural Logic;Substructural logics
Preface; Johan van Benthem.- Introduction; Alexandru Baltag and Sonja Smets.- Part I. Mathematical and Computational Perspectives.- The Freedoms of (Guarded) Bisimulation; Erich Graedel and Martin Otto.- Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective; Yde Venema.- Schema Mappings: A Case of Logical Dynamics in Database Theory; Balder ten Cate and Phokion G. Kolaitis.- On Dependence Logic; Pietro Galliani, Jouko Vaeaenaenen.- Intensionality, Definability and Computation; Samson Abramsky.- Comparing Theories: The Dynamics of Changing Vocabulary; Hajnal Andreka and Istvan Nemeti.- Part II. Dynamics of Knowledge and Belief Over Time.- Dynamic Epistemic Logics; Jan van Eijck.- Belief Revision and Dynamic Logic; Patrick Girard and Hans Rott.- Temporal Aspects of the Dynamics of Knowledge; Valentin Goranko and Eric Pacuit.- Logic and Learning; Nina Gierasimczuk, Vincent F. Hendricks, and Dick de Jongh.- A Computational Learning Semantics for Inductive Empirical Knowledge; Kevin T. Kelly.- Structures for Epistemic Logic; Nick Bezhanishvili and Wiebe van der Hoek.- Logic and Probabilistic Update; Lorenz Demey and Barteld Kooi.- Belief as a Simplification of Probability, and What This Entails; Hannes Leitgeb.- Part III. Games.- Logic and Game Theory; Giacomo Bonanno and Cedric Degremont.- Knowledge Games and Coalitional Abilities; Thomas agotnes and Hans van Ditmarsch.- On Definitive Solutions of Strategic Games; Sergei Artemov.- Logical Player Types for a Theory of Play; Ram Ramanujam.- An Alternative Analysis of Signaling Games; Gabriel Sandu.- Part IV. Agency.- Them and Us: Autonomous Agents in Vivo and in Silico; Peter Millican and Michael Wooldridge.- Incorporating Action Models into the Situation Calculus; Yongmei Liu and Hector J. Levesque.- Roles, Rigidity, and Quantification in Epistemic Logic; Wesley H. Holliday and John Perry.- Stit Logics, Games, Knowledge, and Freedom; Roberto Ciuni and John Horty.- The Logic of Best Actions from aDeontic Perspective; Olivier Roy, Albert J.J. Anglberger and Norbert Gratzl.- When Are Two Arguments the Same? Equivalence in Abstract Argumentation; Dov Gabbay and Davide Grossi.- Part V. Language and Cognition.- Three Etudes on Logical Dynamics and the Program of Natural Logic; Lawrence S. Moss.- From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value; Sven Ove Hansson and Fenrong Liu.- Arguing about Dynamic Meaning; Martin Stokhof.- Logic of and for Language, and Logic of and for Mind; Hans Kamp.- Logic and Complexity in Cognitive Science; Alistair M.C. Isaac and Jakub Szymanik and Rineke Verbrugge.- Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient; Peter Gaerdenfors.- Part VI. Styles of Reasoning.- Dynamic vs. Classical consequence; Denis Bonnay and Dag Westerstahl.- Dynamic Epistemic Logic as a Substructural Logic; Guillaume Aucher.- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras; J. Michael Dunn.- Situation Theory Reconsidered; Jeremy Seligman.- Unified Correspondence; Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano.- Conclusions.- Reflections; Johan van Benthem.- Scientific Autobiography; Johan van Benthem.- Bibliography.- Publications.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
