1078 search results - page 93 / 216 » The Modal Logic of Probability |
123
click to vote
ENTCS
2008
15 years 4 months ago
2008
We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation...
126
click to vote
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
132
click to vote
ICWE
2010
Springer
15 years 6 months ago
2010
Springer
Model-based approaches for interactive Web applications have neglected vocal interaction. However, ubiquitous multi-device environments call for better support for such modality. I...
125
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
108
click to vote
FUIN
2000
15 years 3 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...