Rohit Parikh on Logic, Language and Society / BaÅŸkent, Can ; Moss, Lawrence S. ; Ramanujam, Ramaswamy  

Público ISBD Ningún comentario para este título. Título : Rohit Parikh on Logic, Language and Society Tipo de documento: documento electrónico Autores: BaÅŸkent, Can, ; Moss, Lawrence S., ; Ramanujam, Ramaswamy, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 359 p. 28 ilustraciones ISBN/ISSN/DL: 978-3-319-47843-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica  Teoría de las máquinas  Lógica matemática  Semiótica  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos Clasificación: 160 Lógica Resumen: Este libro analiza los principales hitos del trabajo académico de Rohit Jivanlal Parikh. Destacando la transición del interés de Parikh de los lenguajes formales a los lenguajes naturales, y cómo abordó la filosofía del lenguaje de Wittgenstein, traza la trayectoria académica de un brillante erudito cuyo trabajo abrió varias nuevas vías en la investigación. Este volumen es parte de la serie de libros de Springer Contribuciones destacadas a la lógica y honra a Rohit Parikh y sus obras de muchas maneras. Parikh es un líder en el ámbito de las ideas y ofrece conceptos y definiciones que enriquecen el campo y conducen a nuevas direcciones de investigación. Parikh ha contribuido en una variedad de áreas de la lógica, la informática y la teoría de juegos. En lógica matemática sus contribuciones han sido en teoría de funciones recursivas, teoría de prueba y análisis no estándar; en informática, en las áreas de lógica modal, temporal y dinámica de programas y semántica de programas, así como lógica del conocimiento; en inteligencia artificial en el área de revisión de creencias; y en la teoría de juegos en el análisis formal de los procedimientos sociales, con una fuerte corriente subyacente de filosofía que recorre toda su obra. Esta no es una colección de artículos limitados a un tema, ni siquiera directamente relacionados con obras específicas de Parikh, sino que todos los artículos están inspirados e influenciados por Parikh de alguna manera, agregando estructuras y enriqueciendo la "tierra de Parikh". El libro presenta una descripción general similar a un folleto de Parikh-land antes de proporcionar un "video introductorio" sobre las vistas y los sonidos que experimenta al leer el libro. Nota de contenido: Chapter 1. Editors' Preface -- Chapter 2. Juliet Floyd: Parikh and Wittgenstein -- Chapter 3. Prashant Parikh: Vagueness, Communication and the Sorites Paradox -- Chapter 4. Robert van Rooij: Nonmonotonicity and Knowability: As knowable as possible -- Chapter 5. Jan van Eijck and Philip Elsas: What is Money? -- Chapter 6. Dominik Klein and Eric Pacuit: Focusing on Campaigns -- Chapter 7. Can BaÅŸkent: A Non-classical Logical Approach to Social Software -- Chapter 8. Joseph Halpern: Why Bother with Syntax? -- Chapter 9. Johan van Benthem: Talking about Knowledge -- Chapter 10. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek: The Pleasure of Gossip -- Chapter 11. Gabriel Sandu and Silviu Velice: Modeling Monty Hall in IF Logic -- Chapter 12. Amy Greenwald, Jiacui Li, Eric Sodomka: Solving for Best Responses and Equilibria in Extensive-Form: Games with Reinforcement Learning Methods -- Chapter 13. Juoko Vaananen. The Logic of Approximate Dependence -- Chapter 14. Melvin Fitting: On Height and Happiness -- Chapter 15. Konstantinos Georgatos: Epistemic Conditionals and the Logic of Subsets -- Chapter 16. Dexter Kozen: On the Coalgebraic Theory of Kleene Algebras with Tests -- Chapter 17. Vaughan Pratt: Aristotle, Boole and Categories -- Chapter 18. Noson Yanofsky: Galois Theory of Algorithms -- Chapter 19. Parikh's Closing Remarks. Tipo de medio : Computadora Summary : This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached Wittgenstein's philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer's book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as wellas logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work. This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching "Parikh-land". The book presents a brochure-like overview of Parikh-land before providing an "introductory video" on the sights and sounds that you experience when reading the book. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Rohit Parikh on Logic, Language and Society [documento electrónico] / BaÅŸkent, Can, ; Moss, Lawrence S., ; Ramanujam, Ramaswamy,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIV, 359 p. 28 ilustraciones. ISBN : 978-3-319-47843-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica  Teoría de las máquinas  Lógica matemática  Semiótica  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos Clasificación: 160 Lógica Resumen: Este libro analiza los principales hitos del trabajo académico de Rohit Jivanlal Parikh. Destacando la transición del interés de Parikh de los lenguajes formales a los lenguajes naturales, y cómo abordó la filosofía del lenguaje de Wittgenstein, traza la trayectoria académica de un brillante erudito cuyo trabajo abrió varias nuevas vías en la investigación. Este volumen es parte de la serie de libros de Springer Contribuciones destacadas a la lógica y honra a Rohit Parikh y sus obras de muchas maneras. Parikh es un líder en el ámbito de las ideas y ofrece conceptos y definiciones que enriquecen el campo y conducen a nuevas direcciones de investigación. Parikh ha contribuido en una variedad de áreas de la lógica, la informática y la teoría de juegos. En lógica matemática sus contribuciones han sido en teoría de funciones recursivas, teoría de prueba y análisis no estándar; en informática, en las áreas de lógica modal, temporal y dinámica de programas y semántica de programas, así como lógica del conocimiento; en inteligencia artificial en el área de revisión de creencias; y en la teoría de juegos en el análisis formal de los procedimientos sociales, con una fuerte corriente subyacente de filosofía que recorre toda su obra. Esta no es una colección de artículos limitados a un tema, ni siquiera directamente relacionados con obras específicas de Parikh, sino que todos los artículos están inspirados e influenciados por Parikh de alguna manera, agregando estructuras y enriqueciendo la "tierra de Parikh". El libro presenta una descripción general similar a un folleto de Parikh-land antes de proporcionar un "video introductorio" sobre las vistas y los sonidos que experimenta al leer el libro. Nota de contenido: Chapter 1. Editors' Preface -- Chapter 2. Juliet Floyd: Parikh and Wittgenstein -- Chapter 3. Prashant Parikh: Vagueness, Communication and the Sorites Paradox -- Chapter 4. Robert van Rooij: Nonmonotonicity and Knowability: As knowable as possible -- Chapter 5. Jan van Eijck and Philip Elsas: What is Money? -- Chapter 6. Dominik Klein and Eric Pacuit: Focusing on Campaigns -- Chapter 7. Can BaÅŸkent: A Non-classical Logical Approach to Social Software -- Chapter 8. Joseph Halpern: Why Bother with Syntax? -- Chapter 9. Johan van Benthem: Talking about Knowledge -- Chapter 10. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek: The Pleasure of Gossip -- Chapter 11. Gabriel Sandu and Silviu Velice: Modeling Monty Hall in IF Logic -- Chapter 12. Amy Greenwald, Jiacui Li, Eric Sodomka: Solving for Best Responses and Equilibria in Extensive-Form: Games with Reinforcement Learning Methods -- Chapter 13. Juoko Vaananen. The Logic of Approximate Dependence -- Chapter 14. Melvin Fitting: On Height and Happiness -- Chapter 15. Konstantinos Georgatos: Epistemic Conditionals and the Logic of Subsets -- Chapter 16. Dexter Kozen: On the Coalgebraic Theory of Kleene Algebras with Tests -- Chapter 17. Vaughan Pratt: Aristotle, Boole and Categories -- Chapter 18. Noson Yanofsky: Galois Theory of Algorithms -- Chapter 19. Parikh's Closing Remarks. Tipo de medio : Computadora Summary : This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached Wittgenstein's philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer's book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as wellas logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work. This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching "Parikh-land". The book presents a brochure-like overview of Parikh-land before providing an "introductory video" on the sights and sounds that you experience when reading the book. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200