1941 search results - page 11 / 389 » Reasoning about Computations Using Two-Levels of Logic |
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
136
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
105
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
108
click to vote
FLAIRS
2006
15 years 3 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
111
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...