1737 search results - page 51 / 348 » On Interpolation in Existence Logics |
163
click to vote
ETAI
1998
15 years 5 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
187
click to vote
WOLLIC
2009
Springer
16 years 21 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
191
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
203
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
149
click to vote
ENTCS
2008
15 years 6 months ago
2008
We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation...