Searching for "Normal Multimodal Logics." – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension
- … (Revised version dated April 14, 1998) Normal Multimodal Logics: Automatic Deduction and Logic Programming…
- Cited by 26 (7 self) – Add To MetaCart
-
Normal Multimodal Logics With Interaction Axioms: A Tableau Calculus and Some (Un
- … In this paper we present a prefixed analytic tableau calculus for a wide class of normal multimodal logics…
- Cited by 13 (6 self) – Add To MetaCart
-
Exploring Properties of Normal Multimodal Logics in Simple Type Theory with Leo-II 1
- …Exploring Properties of Normal Multimodal Logics in Simple Type Theory with Leo-II 1 Christoph E…
- Cited by 5 (0 self) – Add To MetaCart
-
Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic
- …Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic Judit X. Madar…
- Cited by 11 (4 self) – Add To MetaCart
-
A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
- … calculus for a class of normal multimodal logics and we present some results about decidability…
- Cited by 20 (8 self) – Add To MetaCart
-
The modal logic programming system MProlog
- …, and SLD-resolution calculi for logic programs in normal multimodal logics whose frame restrictions consist…
- Cited by 8 (5 self) – Add To MetaCart
-
Decidable and Undecidable Extensions of ALC with Composition-Based Role Inclusion Axioms
- … in a branch of normal multimodal logics, called grammar logics. Since role disjointness is a very…
- Cited by 3 (3 self) – Add To MetaCart
-
Constructing finite least Kripke models for positive logic programs in serial regular grammar
- …, Poland nguyen@(email omitted); Abstract A serial context-free grammar logic is a normal multimodal logic L…
- Cited by 2 (1 self) – Add To MetaCart
-
From Classical to Normal Modal Logics
- … worlds. In this paper we exhibit exact translations from these families into normal multi-modal logics…
- Cited by 14 (1 self) – Add To MetaCart
-
Logiche multimodali per ragionare sull’interazione Multimodal Logics for Reasoning about
- … with the construction of a logical framework, based on a class of normal multimodal logic (called grammar logics…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
