2062 search results - page 48 / 413 » Derivatives of Logical Formulas |
125
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
98
Voted
JANCL
2008
15 years 15 days ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
75
Voted
APAL
2006
15 years 18 days ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
105
Voted
EXACT
2008
15 years 2 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
93
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
We generalize a result in [8] and derive an asymptotic formula for entropy rate of a hidden Markov chain around a "weak Black Hole". We also discuss applications of the ...