137 search results - page 1 / 28 » A Dynamic Logic of Institutional Actions |
103
click to vote
CLIMA
2011
14 years 20 hour ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
104
Voted
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
123
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
103
Voted
DLOG
2007
15 years 2 months ago
2007
104
Voted
DLOG
2010
14 years 10 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...