2062 search results - page 10 / 413 » Derivatives of Logical Formulas |
INFORMATICALT
2008
13 years 9 months ago
2008
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
ICALP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
CORR
1998
Springer
13 years 9 months ago
1998
Springer
An important characteristic of many logics for Arti cial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequ...
COMBINATORICS
2006
13 years 9 months ago
2006
The natural forms of the Leibniz rule for the kth derivative of a product and of Fa`a di Bruno's formula for the kth derivative of a composition involve the differential oper...
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...