Abstract Introduction Moral absolutism is the notion that “rights” and “wrongs” are independent of situational circumstances, it a core philosophy many religious traditions. We tested whether active church members Christian pastors showed resiliency to mild sleep restriction when reporting beliefs/cognitions, logging spiritual behaviors, judging deserved-punishments for moral mistakes. Methods ...

We describe the planning problem within the framework of dynamic epistemic logic (DEL), considering the tree of sequences of events as the underlying structure. In general, the DEL planning problem is computationally difficult to solve. On the other hand, a great deal of fruitful technical advances have led to deep insights into the way DEL works, and these can be exploited in special cases. We...

We propose a dynamic epistemic framework for the verification of security protocols. First, we introduce a dynamic epistemic logic equipped with iteration and cryptographic supplements in which we can formalize and check (epistemic) requirements of security protocols. On top of this, we give a general guide how to go from a protocol specification to its representation in our framework. We demon...

Reasoning about actions forms the foundation of prediction, planning, explanation, and diagnosis in a dynamic environment. Most of the research in this field has focused on domains with a single agent, albeit in a dynamic environment, with considerably less attention being paid to multi-agent domains. In a domain with multiple agents, interesting issues arise when one considers the knowledge of...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Public announcement logic (PAL) is a paradigm case of dynamic epistemic logic, which models how agents’ epistemic states change when pieces of information are communicated publicly. PAL extends epistemic logic with the operator [A], where the intended reading of [A]φ is “After a public announcement that A, φ holds.” This logic has recently received two improvements. One improvement, studied in ...

We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that “change the state” of the underlying system and not just the state of knowledge of the agents. The key novel feature that emerges is the ...

This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics discussed include the language and semantics of basic epistemic logic, multi-agent epistemic logic, combined epistemic-doxastic logic, and a glimpse of dynamic epistemic logic. Epistemological topics discus...

Objective To review the research literature on epistemic cognition in medical education. Methods We conducted database searches using keywords related to epistemic cognition and medical education or practice. In duplicate, authors selected and reviewed empirical studies with a central focus on epistemic cognition and participant samples including medical students or physicians. Independent th...