IF and Epistemic Action Logic

2006 ◽  
pp. 261-281
Author(s):  
Manuel Rebuschi
Keyword(s):  
Epistemic Action ◽  
Action Logic

Privacy, Deontic Epistemic Action Logic and Software Agents

2005 ◽  
Vol 7 (4) ◽  
pp. 251-264 ◽  
Author(s):  
V. Wiegel ◽  
M. J. Van den Hoven ◽  
G. J. C. Lokhorst
Keyword(s):  
Software Agents ◽  
Epistemic Action ◽  
Action Logic

scholarly journals Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions

2020 ◽  
Author(s):  
Mario Folhadela Benevides ◽  
Isaque Macalam Saab Lima
Keyword(s):  
Epistemic Logic ◽  
Reduction Method ◽  
Dynamic Epistemic Logic ◽  
Epistemic Action ◽  
Action Logic ◽  
Action Models

This work proposes an extension of Dynamic Epistemic Logic with Communication Actions by adding the notion of postconditions from Dynamic Epistemic Logic with Assigments to deal with boolean assignments to action models. Other concurrent logics, like Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, do not deal with boolean assignments. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.

Women's health theorizing: a call for epistemic action

2009 ◽  
Vol 19 (2) ◽  
pp. 143-154 ◽  
Author(s):  
Charlene Cook
Keyword(s):  
Women’S Health ◽  
Women's Health ◽  
Epistemic Action

Joint Epistemic Action: Some Applications

2016 ◽  
Vol 35 (2) ◽  
pp. 300-318 ◽  
Author(s):  
Seumas Miller
Keyword(s):  
Epistemic Action

scholarly journals A history based approximate epistemic action theory for efficient postdictive reasoning

2015 ◽  
Vol 13 (4) ◽  
pp. 720-769 ◽  
Author(s):  
Manfred Eppe ◽  
Mehul Bhatt
Keyword(s):  
Action Theory ◽  
Epistemic Action

scholarly journals Reasoning about Self and Others: Communicating Agents in a Modal Action Logic

2003 ◽  
pp. 228-241 ◽  
Author(s):  
Matteo Baldoni ◽  
Cristina Baroglio ◽  
Alberto Martelli ◽  
Viviana Patti
Keyword(s):  
Action Logic

Action logic

2018 ◽  
pp. 97-99
Author(s):  
Andrew Boyd ◽  
Joshua Kahn Russell
Keyword(s):  
Action Logic

PROMAL: Programming in modal action logic

2005 ◽  
pp. 101-111
Author(s):  
Odinaldo Rodrigues ◽  
Mario Benevides
Keyword(s):  
Action Logic

Between Independence and Absorption: The Soft Embeddedness of NGOs in Poverty Alleviation

2019 ◽  
Vol 11 (1) ◽  
pp. 54-82
Author(s):  
Xue Zhang ◽  
Tian Gan
Keyword(s):  
Social Capital ◽  
Sustainable Development ◽  
Field Observation ◽  
Poverty Alleviation ◽  
The Sustainable Development ◽  
Grass Roots ◽  
Action Logic ◽  
Soft Governance ◽  
Local Areas ◽  
Pig Farm

Abstract NGOs are faced with the dilemma of action logic in participating in poverty alleviation at the grass-roots level: if they do not embed into local areas, they cannot carry out activities; if they embed too deeply, they will be molded in reverse and cannot realize successful exits. So what action logic will NGOs take in the process of poverty alleviation? Through field observation of H organization which participated in the poverty alleviation project of a pig farm in J village, this paper puts forward the action logic of “soft embeddedness” (SE) on the basis of the theory of “embeddedness” and “soft governance.” SE mainly includes three aspects: the soft relationship embeddedness of culture and custom, the soft resources embeddedness of negotiation by many parties and the soft structure embeddedness of rural regulations and folk conventions. Compared with that of “hard embeddedness” (HE) which emphasizes institutionalism and inculcation, the action logic of SE has its own characteristics. It includes the flexibility of interaction, the strategy of participation and the limited responsibility boundary. The SE action logic helps maintain the autonomy of NGOs, promote the accumulation of village social capital and realize the sustainable development of poverty alleviation projects. At the same time, this paper theoretically complements and extends the interaction between the states and the society as well as the action logic of NGOs in China.

scholarly journals Probabilistic reasoning about epistemic action narratives

2020 ◽  
Vol 287 ◽  
pp. 103352
Author(s):  
Fabio Aurelio D'Asaro ◽  
Antonis Bikakis ◽  
Luke Dickens ◽  
Rob Miller
Keyword(s):  
Probabilistic Reasoning ◽  
Epistemic Action
Sign in / Sign up

Export Citation Format

Share Document