Sciweavers

Share
AIML
1998
8 years 5 months ago
Dynamic Description Logics
Frank Wolter, Michael Zakharyaschev
AIML
1998
8 years 5 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
AIML
1998
8 years 5 months ago
Canonical Pseudo-Correspondence
Generalizing an example from (Fine 1975) and inspired by a theorem in (J
Yde Venema
AIML
1998
8 years 5 months ago
Propositions, Propositional Attitudes and Belief Revision
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...
Rohit Parikh
AIML
1998
8 years 5 months ago
Modal Logic in Two Gestalts
Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems. Thistandemappro...
Johan van Bentheim
AIML
1998
8 years 5 months ago
Interpolation, Definability and Fixed Points in Interpretability Logics
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...
Carlos Areces, Eva Hoogland, Dick de Jongh
AIML
2000
8 years 5 months ago
Towards a Many-Dimensional Modal Logic for Semantic Processing
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...
Tim Fernando
AIML
2006
8 years 5 months ago
Isomorphism via translation
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 ...
Tadeusz Litak
AIML
2006
8 years 5 months ago
A General Semantics for Quantified Modal Logic
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...
Robert Goldblatt, Edwin D. Mares
books