2067 search results - page 10 / 414 » Logics of propositional control |
AIML
2004
14 years 11 months ago
2004
This paper shows that satisfiability for Propositional Dynamic Logic with Intersection is EXPSPACE-hard. The proof uses a reduction from the word problem for alternating, exponent...
AMAI
2007
Springer
14 years 9 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
APAL
2008
14 years 9 months ago
2008
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
80
Voted
AML
2002
14 years 9 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
EUROCAST
2007
Springer
14 years 11 months ago
2007
Springer
