2573 search results - page 192 / 515 » Combinations of Modal Logics |
166
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
172
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
188
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
296
click to vote
ICLA
2011
Springer
14 years 10 months ago
2011
Springer
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that th...
159
click to vote
CCIA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...