The DOI matches its Crossref record; 15 of the 15 references it cites were found in a registry or an index.
Diversity of Logical Agents in Games
Open accessAbstract
Les agents épistémiques peuvent avoir différents pouvoirs d’observation et de raisonnement, et nous montrons comment cette diversité prend place en logique dynamique de mise à jour.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“Existing epistemic logics differ on what they ascribe to agents (van Benthem & Liu 2004, Liu 2006) in terms of deductive powers, introspective abilities, observational powers, and memory capacity.”
From THE STORIES OF LOGIC AND INFORMATION (2008) · cites this paper as van Benthem & Liu 2004
Experimental — accuracy not yet measured
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Axelrod, R., & Hamilton, W. D. (1981) · Science · doi:10.1126/science.7466396 · Cited by 20,065
Halpern, J. Y. (1994) · Mathematical Social Sciences · doi:10.1016/0165-4896(94)90005-1 · Cited by 3,620
Blackburn, P. R., de Rijke, M., & Venema, Y. (2001) · Cited by 2,479
Harel, D., Kozen, D. C., & Tiuryn, J. (2000) · Cited by 1,439
A Formal Theory of Knowledge and Action
Moore, R. C. (1984) · Defense Technical Information Center (DTIC) · Cited by 512
Games in Dynamic Epistemic Logic
Van Benthem, J. (2001) · Bulletin of Economic Research · doi:10.1111/1467-8586.00133 · Cited by 181
Self-citationA Knowledge Based Semantics of Messages
Parikh, R., & Ramanujam, R. (2003) · Journal of Logic Language and Information · doi:10.1023/a:1025007018583 · Cited by 174
One is a Lonely Number: on the logic of communication
van Benthem, J. (2003) · UvA-DARE (University of Amsterdam) · Cited by 112
Self-citationExtensive Games as Process Models
van Benthem, J. (2002) · Journal of Logic Language and Information · doi:10.1023/a:1015534111901 · Cited by 103
Self-citationSemantics of Interaction: an Introduction to Game Semantics
Abramsky, S. (1997) · Cambridge University Press eBooks · doi:10.1017/cbo9780511526619.002 · Cited by 100
Cited by
Sorted by citations
Logical Dynamics of Information and Interaction
van Benthem, J. (2011) · Cambridge University Press eBooks · doi:10.1017/cbo9780511974533 · Cited by 512
Self-citationDynamic logic for belief revision
van Benthem, J. (2007) · Journal of Applied Non-Classical Logics · doi:10.3166/jancl.17.129-155 · Cited by 398
Self-citationDynamic logic of preference upgrade
van Benthem, J., & Liu, F. (2008) · Cited by 267
Self-citationMerging Frameworks for Interaction
van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2009) · Journal of Philosophical Logic · doi:10.1007/s10992-008-9099-x · Cited by 184
“Proposition 2 ([9, 15]) An ETL model H ∈ F({PE }) for some event model E iff H satisfies propositional stability, synchronicity, perfect recall, uniform no miracles, as well as epistemic bisimulation invariance.”
BackgroundInfluentialSelf-citationChanging for the Better Preference Dynamics and Agent Diversity
Liu, F., & Proefschrift, A. (2008) · Cited by 109
Self-citationTHE STORIES OF LOGIC AND INFORMATION
van Benthem, J., & Martinez, M. (2008) · Philosophy of Information · doi:10.1016/b978-0-444-51726-5.50012-1 · Cited by 80
“Existing epistemic logics differ on what they ascribe to agents (van Benthem & Liu 2004, Liu 2006) in terms of deductive powers, introspective abilities, observational powers, and memory capacity.”
BackgroundThe Tree of Knowledge in Action: Towards a Common Perspective
van Benthem, J., & Pacuit, E. (2006) · UvA-DARE (University of Amsterdam) · Cited by 77
Self-citationEPISTEMIC LOGIC AND INFORMATION UPDATE
Baltag, A., van Ditmarsch, H., & Moss, L. S. (2008) · Elsevier eBooks · doi:10.1016/b978-0-444-51726-5.50015-7 · Cited by 68
“This is called the “preference modality” by van Benthem and Liu [100].”
BackgroundMethodInfluentialMerging frameworks for interaction
van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007) · Theoretical Aspects of Rationality and Knowledge · doi:10.1145/1324249.1324262 · Cited by 57
“[6, 19, 20] have investigated various aspects, but in this paper, we strengthen the interface to a considerable extent.”
BackgroundSelf-citationIdealization, epistemic logic, and epistemology
Yap, A. (2014) · Synthese · doi:10.1007/s11229-014-0448-8 · Cited by 44
“For instance, (van Benthem and Liu 2004; Liu 2009) consider several different versions of agents with bounded memories, including memory-free agents (agents who only remember the last event).”
Background“One is a lonely number”: logic and communication
van Benthem, J. (2017) · Cambridge University Press eBooks · doi:10.1017/9781316755723.006 · Cited by 42
“This diversity of agents calls for variants of the above product update mechanism, which are found in [36].”
BackgroundSelf-citationEpistemic dynamics and protocol information
van Benthem, J., & Hoshi, T. (2009) · Cited by 40
Self-citationvan Benthem, J. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-29326-9_6 · Cited by 38
“We refer to van Benthem & Liu 2004, van Benthem, Gerbrandy & Pacuit 2007 for details of definitions and proofs: Fact 7 An extensive game is isomorphic to a repeated product update model Tree(M, E) over some epistemic event model E iff it satisfies, for all players: (a) Perfect Recall, (b) (uniform)…”
BackgroundSelf-citationOpen Problems in Logical Dynamics
van Benthem, J. (2006) · International mathematical series · doi:10.1007/0-387-31072-x_3 · Cited by 30
Self-citationPreference, Priorities and Belief
de Jongh, D. H. J., & Liu, F. (2009) · Springer eBooks · doi:10.1007/978-90-481-2593-7_4 · Cited by 28
Self-citationTemporal Languages for Epistemic Programs
Sack, J. (2007) · Journal of Logic Language and Information · doi:10.1007/s10849-007-9054-1 · Cited by 28
Knowing one's limits: logical analysis of inductive inference
Gierasimczuk, N. (2010) · UvA-DARE (University of Amsterdam) · Cited by 26
Diversity of Agents and Their Interaction
Liu, F. (2008) · Journal of Logic Language and Information · doi:10.1007/s10849-008-9072-7 · Cited by 24
Self-citationReasoning Biases, Non‐Monotonic Logics and Belief Revision
Novaes, C. D., & Veluwenkamp, H. (2016) · Theoria · doi:10.1111/theo.12108 · Cited by 23
Structures for Epistemic Logic
Bezhanishvili, N., & van der Hoek, W. (2014) · Outstanding contributions to logic · doi:10.1007/978-3-319-06025-5_12 · Cited by 17
“Van Benthem and Liu are among the first to take seriously that ‘epistemic agents may have different powers of observation and reasoning’ ([20]), and allow for a ‘diversity of logical agents’.”
BackgroundAn Alternative Axiomatization of DEL and Its Applications
Wang, Y., & Aucher, G. (2013) · Cited by 16
Logic for update products and steps into the past
Sack, J. (2010) · Annals of Pure and Applied Logic · doi:10.1016/j.apal.2010.04.011 · Cited by 16
“One general approach to describing changes in beliefs has been to describe changes in knowledge and belief over time using Epistemic Temporal Logics (ETL) [10, 7, 8, 13].”
MethodFinite identification from the viewpoint of epistemic update
Dégremont, C., & Gierasimczuk, N. (2010) · Information and Computation · doi:10.1016/j.ic.2010.08.002 · Cited by 14
(2020) · Open Agenda Publishing eBooks · doi:10.2307/j.ctv22jnmh8.8 · Cited by 14
Dynamic logic of preference upgrade
van Benthem, J., & Liu, F. (2007) · Journal of Applied Non-Classical Logics · doi:10.3166/jancl.17.157-182 · Cited by 14
Self-citationExploring the Power of Converse Events
Aucher, G., & Herzig, A. (2010) · Springer eBooks · doi:10.1007/978-94-007-0074-1_4 · Cited by 11
van Benthem, J. (2007) · Springer eBooks · doi:10.1007/978-0-387-68546-5_3 · Cited by 9
Self-citationHoshi, T. (2010) · Journal of Logic Language and Information · doi:10.1007/s10849-009-9116-7 · Cited by 9
“, [23,13,14,19]).”
Logical foundations of games with imperfect information : uniform strategies
Maubert, B. (2014) · doi:10.70675/b61498f6zf38dz4e84zbdeaz264d437574af · Cited by 8
van Benthem, J., & Klein, D. (2019) · UvA-DARE (University of Amsterdam) · Cited by 7
Self-citationBonanno, G. F., & Dégremont, C. (2014) · Outstanding contributions to logic · doi:10.1007/978-3-319-06025-5_15 · Cited by 6
“We refer to [27, 30, 67] for more details on this line of research.”
BackgroundDecisions, Actions, and Games: A Logical Perspective
van Benthem, J. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-92701-3_1 · Cited by 6
“We do not prove the Theorem here: cf. van Benthem & Liu 2004.”
Self-citationLogical Player Types for a Theory of Play
Ramanujam, R. (2014) · Outstanding contributions to logic · doi:10.1007/978-3-319-06025-5_18 · Cited by 5
“preted according to players’ knowledge of each others’ type [5, 9].”
BackgroundVerifying Space and Time Requirements for Resource-Bounded Agents
Alechina, N., Bertoli, P., Ghidini, C., Jago, M. T., Logan, B. S., & Serafini, L. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-74128-2_2 · Cited by 4
van Benthem, J., Bouma, G., Krämer, I. M., & Zwarts, J. (2007) · UvA-DARE (University of Amsterdam) · Cited by 2
Self-citationKnowledge and its dynamics in intuitionistic logic
Wien, T., & Pavlova, A. M. (2022) · Philosophy Journal · doi:10.21146/2072-0726-2022-15-3-113-124 · Cited by 1
Logics of Strategies and Preferences
Ghosh, S., & Ramanujam, R. (2022) · Springer eBooks · doi:10.1007/978-81-322-2577-5_42 · Cited by 1
Introduction to Formal Epistemology
Pacuit, E., & Parikh, R. (2007) · Cited by 1
Gergen, K. J. (1991) · Contemporary Psychology · doi:10.1037/029721
DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique
Maubert, B. (2014)
Logics of Strategies and Preferences
Ghosh, S., & Ramanujam, R. (2020) · Springer eBooks · doi:10.1007/978-81-322-1812-8_42-1
Логіка перегляду переконань: пізнавальні дії як модальні оператори
Козаченко, Н. П. (2010) · doi:10.31812/0564/1732
(2004) · Philosophia Scientae · doi:10.4000/philosophiascientiae.579
Lying, deception and strategic omission : definition and evaluation
Icard, B. (2019) · theses.fr (ABES) · doi:10.70675/aa58f1edzecf8z4f39z8945zac85f6a4b1e0
Liu, F. (2011) · Springer eBooks · doi:10.1007/978-94-007-1344-4_12
Self-citation(2006) · Cited by 12
Self-citation
Metadata
- Authors
- Benthem, J. V., & Liu, F.
- Affiliations
- Chinese Academy of Social Sciences (CN)
- ORCID
- Liu, Fenrong
- Venue
- Philosophia Scientiae
- Publisher
- OpenEdition
- Published
- 2004
- Volume
- 8-2
- Pages
- 163-178
- ISSN
- 1281-2463 (ISSN-L)
- 1775-4283
- OpenAlex
- W2042541021
- Cited by
- 46
- References
- 15
- Citations by year
- 2022: 2 · 2020: 2 · 2019: 2 · 2017: 1 · 2016: 1 · 2014: 6 · 2013: 1 · 2012: 1
- FWCI
- 4.06
- Type
- journal article
- Language
- fr
- Open access
- bronze
- doi.org
- Locations
- Philosophia Scientae (publishedVersion)
- UvA-DARE (University of Amsterdam) (publishedVersion)
- Cairn.info (submittedVersion)
- UvA-DARE (University of Amsterdam) (submittedVersion)
- DOAJ (DOAJ: Directory of Open Access Journals) (submittedVersion)
- French digital mathematics library (Numdam) (submittedVersion)
- OpenEdition (OpenEdition) (submittedVersion, other-oa)
- Data Archiving and Networked Services (DANS) (submittedVersion)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Social Sciences › Decision Sciences › Management Science and Operations Research › Game Theory and Applications
- Physical Sciences › Computer Science › Artificial Intelligence › Multi-Agent Systems and Negotiation
- Keywords
- epistemic agents, agent diversity
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
