Searching for "Positive modal logic." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
A New Coalgebraic Semantics for Positive Modal Logic
- … 1386-369X A New Coalgebraic Semantics for Positive Modal Logic Alessandra Palmigiano Departament de…
- Cited by 6 (2 self) – Add To MetaCart
-
Constructing the Least Models for Positive Modal Logic Programs
- …-model for a given positive modal logic program P , where L can be one of the modal logics KD, T , KDB, B, KD4…
- Cited by 15 (13 self) – Add To MetaCart
-
Incomplete Spatial Logics
- … should regard these models as models of space at all. 2 Positional modal logics: a first inadequacy…
- Add To MetaCart
-
Duality for Modal µ-Logics
- … theory developed is inappropriate for the semantics of positive modal logic. This is for the simple…
- Cited by 2 (2 self) – Add To MetaCart
-
The Modal Query Language MDatalog
- … answered. In our recent work [9], we formulated so called positive propositional modal logic programs…
- Cited by 7 (6 self) – Add To MetaCart
-
Constructing finite least Kripke models for positive logic programs in serial regular grammar
- … of positive consequences but not w.r.t. the size. When L is a serial modal logic, if one translates…
- Cited by 1 (1 self) – Add To MetaCart
-
A Sahlqvist theorem for distributive modal logic
- … the order reversing modalities ✄ and ✁; in this sense, many results on positive modal logic are covered…
- Cited by 10 (4 self) – Add To MetaCart
-
On the complexity of fragments of modal logics
- … Horn Formulas and Positive Modal Logic Programs We call formulas of the form p or ¬p, where p is a…
- Cited by 3 (1 self) – Add To MetaCart
-
A bottom-up method for the deterministic Horn fragment of the description logic ALC
- … to our previous work [9]. In [9] we gave an algorithm that for a given positive modal logic program P…
- Cited by 2 (2 self) – Add To MetaCart
-
Natural Deduction for Non-Classical Logics
- …-classical negation as a modality (the metatheory of positive logics is different from that for full logics, cf. Dunn…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
