51 search results - page 3 / 11 » aiml 2008 |
AIML
1998
13 years 6 months ago
1998
Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems. Thistandemappro...
AIML
1998
13 years 6 months ago
1998
Generalizing an example from (Fine 1975) and inspired by a theorem in (J
AIML
2004
13 years 6 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...
AIML
2006
13 years 6 months ago
2006
abstract. We show that the Medvedev logic ML is not finitely axiomatizable over the logic Cheq of chequered subsets of R. This gives a negative solution to one of the questions rai...
AIML
1998
13 years 6 months ago
1998
In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolati...