Results 71 to 80 of about 10,593 (211)
Coalgebraic Epistemic Update without Change of Model
, 2007 We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions and thus our models do not involve the ”change-of-model” phenomena that arise when ...
C. Cirstea +7 more
core
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source
Intensional Protocols for Dynamic Epistemic Logic
, 2019 In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable.
Rendsvig, Rasmus K., +3 more
core +1 more source
Pluralistic Ignorance : A Case for Social Epistemology and Epistemic Logic [Elektronisk resurs]
, 2014 In this paper the phenomenon of pluralistic ignorance is discussed and it is argued why it is of relevance for epistemic logic and social psychology.
Hansen, Jens Ulrik,, Lund University.
core
REASONING ABOUT THE GAME „CLUE“ BY USING OTTER
Journal of Information and Organizational Sciences, 2006 In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj
Sur les « opérateurs rétrogrades »
Philosophia Scientiæ, 2004 A logic of ‘backwards-looking operators’ (OR) is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios.
Tero Tulenheimo
doaj +1 more source
Expertise and information: an epistemic logic perspective. [PDF]
Synthese, 2023 Singleton J, Booth R.
europepmc +1 more source
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
, 2006 We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea +5 more
core
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
, 2017 The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete ...
Rendsvig, Rasmus K., +2 more
core +1 more source
Probability without certainty Foundationalism and the Lewis-Reichenbach debate [PDF]
, 2005 Like many discussions on the pros and cons of epistemic foundationalism, the debate between C.I. Lewis and H. Reichenbach dealt with three concerns: the existence of basic beliefs, their nature, and the way in which beliefs are related.
Atkinson, David +2 more
core +1 more source