2067 search results - page 88 / 414 » Logics of propositional control |
FUIN
2007
15 years 1 months ago
2007
Two set systems E, F on an underlying set V will be said to have Property S if there exists a subset σ of V , such that σ ∩ e = ∅, for all e ∈ E and f ⊆ σ, for all f âˆ...
JACIII
2008
15 years 1 months ago
2008
104
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
144
click to vote
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
134
Voted
SYNTHESE
2008
15 years 1 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...