2573 search results - page 175 / 515 » Combinations of Modal Logics |
153
click to vote
IANDC
2007
15 years 4 months ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
137
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
169
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
243
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...
131
click to vote
LOGCOM
2010
15 years 3 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...