AIML
1998
14 years 2 months ago
1998
AIML
1998
14 years 2 months ago
1998
AIML
1998
14 years 2 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
AIML
1998
14 years 2 months ago
1998
Generalizing an example from (Fine 1975) and inspired by a theorem in (J
AIML
1998
14 years 2 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
AIML
1998
14 years 2 months ago
1998
Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems. Thistandemappro...
AIML
1998
14 years 2 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...
AIML
2000
14 years 2 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
AIML
2006
14 years 2 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
AIML
2006
14 years 2 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...