Hakutulokset: Kirjoja kirjailijalta Johan van Benthem
yhteensä 48 hakutulosta
Modal Logic for Open Minds
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 …
The Logic of Time
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to …
Models of Strategic Reasoning
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 …
Logic of Time
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to …
Exploring Logical Dynamics
This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in …
Handbook of Spatial Logics
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 …
Logic and Scientific Methods
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 …
Readings in Formal Epistemology
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. …
Proof, Computation and Agency
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 …
Philosophy of Information
Information is a recognized fundamental notion across the sciences and humanities, which is crucial to understanding physical computation, communication, and human cognition. The …
Logical Dynamics of Information and Interaction
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 …
The Age of Alternative Logics
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 …