Logic and social cognition. The facts matter, and so do computational models
From MaRDI portal
Publication:843769
Recommendations
Cites work
- A completeness theorem in modal logic
- A Modal Logic for Coalitional Power in Games
- An essay in modal logic
- An Experimental Study of the Centipede Game
- Belief, awareness, and limited reasoning
- Children's application of theory of mind in reasoning and language
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Creating collective intention through dialogue
- Dynamic Epistemic Logic and Knowledge Puzzles
- Epistemology without knowledge and without belief
- Formal models for real people
- Games of perfect information, predatory pricing and the chain-store paradox
- scientific article; zbMATH DE number 1705691 (Why is no real title available?)
- scientific article; zbMATH DE number 5987883 (Why is no real title available?)
- scientific article; zbMATH DE number 2131727 (Why is no real title available?)
- scientific article; zbMATH DE number 5129607 (Why is no real title available?)
- scientific article; zbMATH DE number 5734950 (Why is no real title available?)
- scientific article; zbMATH DE number 42737 (Why is no real title available?)
- scientific article; zbMATH DE number 140411 (Why is no real title available?)
- scientific article; zbMATH DE number 1999226 (Why is no real title available?)
- scientific article; zbMATH DE number 1999238 (Why is no real title available?)
- scientific article; zbMATH DE number 2182500 (Why is no real title available?)
- scientific article; zbMATH DE number 1836055 (Why is no real title available?)
- scientific article; zbMATH DE number 1907684 (Why is no real title available?)
- scientific article; zbMATH DE number 762062 (Why is no real title available?)
- scientific article; zbMATH DE number 783783 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- Knowledge and common knowledge in a distributed environment
- Learning to apply theory of mind
- Logic and reasoning: do the facts matter?
- Logic in the study of psychiatric disorders: executive function and rule-following
- Logics of communication and change
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic
- Negotiating with bounded rational agents in environments with incomplete information using an automated agent
- On players' models of other players: Theory and experimental evidence
- ON THE PROBABILISTIC CONVENTION T
- Optimal assertions, and what they implicate. A uniform game theoretic approach
- Resource-origins of nonmonotonicity
- Selecting evaluation functions in opponent-model search
- Semantics as a foundation for psychology: A case study of Wason's selection task
- The complexity of propositional closed world reasoning and circumscription
- The Dynamics of Syntactic Knowledge
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
- The evolution of cooperation
- The logic of knowledge based obligation
- The logic of public announcements, common knowledge, and private suspicions
- The new logic
- Towards flexible coordination of human-agent teams
- Unawareness and partitional information structures
- Variable-frame level-\(n\) theory
- Verifying Space and Time Requirements for Resource-Bounded Agents
Cited in
(18)- An automated method for building cognitive models for turn-based games from a strategy logic
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Modeling reasoning in a social setting
- Studying strategies and types of players: experiments, logics and cognitive models
- Strategic reasoning: building cognitive models from logical formulas
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
- Towards a logical formalisation of Theory of Mind: a study on false belief tasks
- How much does it help to know what she knows you know? An agent-based simulation study
- Second-order false-belief tasks: analysis and formalization
- Seeing is believing: formalising false-belief tasks in dynamic epistemic logic
- scientific article; zbMATH DE number 1929208 (Why is no real title available?)
- Exploring the tractability border in epistemic tasks
- Incorrect responses in first-order false-belief tests: a hybrid-logical formalization
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
- Logic and complexity in cognitive science
- Predictive theory of mind models based on public announcement logic
- A logical formalisation of false belief tasks
- A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution
This page was built for publication: Logic and social cognition. The facts matter, and so do computational models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q843769)
