1341 search results - page 11 / 269 » Dynamic Testimonial Logic |
TABLEAUX
2007
Springer
14 years 1 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
Web-based applications are typically required to be highly customizable and configurable. New application requirements have to be introduced rapidly, often without stopping the ru...
DALT
2007
Springer
14 years 2 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
JAIR
2010
13 years 6 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...