2858 search results - page 140 / 572 » Logics with Aggregate Operators |
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
135
click to vote
ENTCS
2008
15 years 3 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
131
click to vote
ENTCS
2006
15 years 3 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
144
click to vote
ENTCS
2007
15 years 3 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
122
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...