Johan Van Benthem – författare
Visar alla böcker från författaren Johan Van Benthem. Handla med fri frakt och snabb leverans.
47 produkter
Logic, Information and Agency
Häftad, 2025
313 kr
Lägg i varukorg
A systematic study of information dynamics that extends beyond what is found in standard logic textbooks.Everything we do is driven by information, but the dynamic process of acquiring information and adjusting our views based on it has seldom been put at the center place in logic, and there are …
Logical Dynamics of Information and Interaction
Inbunden, 2011
1807 kr
Lägg i varukorg
This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and …
Logic of Time
A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
Inbunden, 1991
1637 kr
Lägg i varukorg
The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of …
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Inbunden, 1996
2180 kr
Lägg i varukorg
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Inbunden, 1996
2180 kr
Lägg i varukorg
This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
1996
5167 kr
Lägg i varukorg
This is the second of two volumes comprising the papers submitted for publication by the invited participants to the 10th International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Logical Dynamics of Information and Interaction
Häftad, 2014
813 kr
Lägg i varukorg
This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and …
Age of Alternative Logics
Assessing Philosophy of Logic and Mathematics Today
Av Johan van Benthem, Gerhard Heinzmann m. fl.
Inbunden, 2006
1637 kr
Lägg i varukorg
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. …
Age of Alternative Logics
Assessing Philosophy of Logic and Mathematics Today
Av Henk Visser, Manuel Rebuschi m. fl.
E-bok, 2006
2274 kr
Lägg i varukorg
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. …
Handbook of Spatial Logics
Av Marco Aiello, Ian Pratt-Hartmann m. fl.
Inbunden, 2007
3267 kr
Lägg i varukorg
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database …
Handbook of Spatial Logics
Av Johan van Benthem, Ian Pratt-Hartmann m. fl.
E-bok, 2007
4074 kr
Lägg i varukorg
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database …
Situations, Language and Logic
Av J.E. Fenstad, Per-Kristian Halvorsen m. fl.
Häftad, 1987
567 kr
Lägg i varukorg
This monograph grew out of research at Xerox PARC and the Center for the Study of Language and Information (CSLI) during the first year of CSLI's existence. The Center was created as a meeting place for people from many different research traditions and there was much interest in seeing how the …
Modal Logic for Open Minds
Häftad, 2010
351 kr
Lägg i varukorg
In Modal Logic for Open Minds, Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, …
Logic Across the University
Foundations and Applications
Av Johan van Benthem, Fenrong Liu
Häftad, 2013
279 kr
Lägg i varukorg
Graph Games and Logic Design
Recent Developments and Further Directions
Av Johan van Benthem, Fenrong Liu
Inbunden, 2026
1305 kr
Lägg i varukorg
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between …
Graph Games and Logic Design
Recent Developments and Further Directions
Av Fenrong Liu, Johan van Benthem
E-bok, 2026
1746 kr
Lägg i varukorg
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between …
Generalized Quantifiers in Natural Language
Av Alice ter Meulen, Johan van Benthem
Inbunden, 1985
1452 kr
Lägg i varukorg
No detailed description available for "Generalized Quantifiers in Natural Language".
Generalized Quantifiers in Natural Language
Av Johan van Benthem, Alice ter Meulen
E-bok, 2013
1550 kr
Lägg i varukorg
No detailed description available for "e;Generalized Quantifiers in Natural Language"e;.
Readings in Formal Epistemology
Sourcebook
Av Horacio Arló-Costa, Vincent F. Hendricks m. fl.
Inbunden, 2016
1637 kr
Lägg i varukorg
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, …
Readings in Formal Epistemology
Sourcebook
Av Johan van Benthem, Vincent F. Hendricks m. fl.
E-bok, 2016
1587 kr
Lägg i varukorg
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, …
Readings in Formal Epistemology
Sourcebook
Av Horacio Arló-Costa, Vincent F. Hendricks m. fl.
Häftad, 2018
1202 kr
Lägg i varukorg
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, …
Models of Strategic Reasoning
Logics, Games, and Communities
Av Johan van Benthem, Sujata Ghosh m. fl.
Häftad, 2016
567 kr
Lägg i varukorg
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty …
Models of Strategic Reasoning
Logics, Games, and Communities
Av Rineke Verbrugge, Sujata Ghosh m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty …
Essays in Logical Semantics
Häftad, 1986
567 kr
Lägg i varukorg
Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past …
Age of Alternative Logics
Assessing Philosophy of Logic and Mathematics Today
Av Johan van Benthem, Gerhard Heinzmann m. fl.
Häftad, 2009
1746 kr
Lägg i varukorg
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. …
Logic of Time
A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
Häftad, 2010
1637 kr
Lägg i varukorg
The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of …
Logic and Scientific Methods
Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Häftad, 2010
2180 kr
Lägg i varukorg
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of …
Structures and Norms in Science
Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Av Maria Luisa Dalla Chiara, Kees Doets m. fl.
Häftad, 2010
2180 kr
Lägg i varukorg
This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, …
Proof, Computation and Agency
Logic at the Crossroads
Av Johan van Benthem, Amitabha Gupta m. fl.
Inbunden, 2011
1637 kr
Lägg i varukorg
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic …
