2062 search results - page 190 / 413 » Derivatives of Logical Formulas |
163
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...
132
click to vote
LORI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
123
click to vote
ERSHOV
2001
Springer
15 years 9 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
159
click to vote
RTSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
146
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...