On generalized Van Benthem-type characterizations
نویسندگان
چکیده
منابع مشابه
Johan van Benthem Cognition
Many cognitive activities are irreducibly social, involving interaction between several different agents. We look at some examples of this in linguistic communication and games, and show how logical methods provide exact models for the relevant information flow and world change. Finally, we discuss possible connections in this arena between logico-computational approaches and experimental cogni...
متن کاملGame Equivalence Note for van Benthem Workshop
The most famous work on game equivalence is Thomson (1952) “Equivalence of Games in Extensive Form.” Two more recent works which serve as inspiration for the present project are Bonanno (1992) “Set-Theoretic Equivalence of ExtensiveForm Games” and van Benthem (2001) “Extensive Games as Process Models.” Thomson frames the debate by considering a large space of games (extensive form games) and a ...
متن کاملJohan van Benthem on Logic and Information Dynamics
Introducing a new hobby for other people may inspire them to join with you. Reading, as one of mutual hobby, is considered as the very easy hobby to do. But, many people are not interested in this hobby. Why? Boring is the reason of why. However, this feel actually can deal with the book and time of you reading. Yeah, one that we will refer to break the boredom in reading is choosing johan van ...
متن کاملA Van Benthem Theorem for Modal Team Semantics
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework of modal dependence logic MDL and team semantics. We show that modal team logic MTL, extending MDL by classical negation, captures exactly the FO-definable bisimulation in...
متن کاملA Van Benthem/Rosen theorem for coalgebraic predicate logic
Coalgebraic modal logic serves as a unifying framework to study a wide range of modal logics beyond the relational realm, including probabilistic and graded logics as well as conditional logics and logics based on neighbourhoods and games. Coalgebraic predicate logic (CPL), a generalization of a neighbourhoodbased first-order logic introduced by Chang, has been identified as a natural first-ord...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2017
ISSN: 0168-0072
DOI: 10.1016/j.apal.2017.03.002