D. Gabbay. Fibred Semantics and the Weaving of Logics, part 2: Fibring Non-monotonic Logics. In L.Czirmasz, D.Gabbay and M.De Rijke, editors, Logic Colloquium'92. CSLI, Stanford, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Products of Modal Logics, Part 1 - Dov Gabbay Department Self-citation (Gabbay Logics) (Correct)
No context found.
D. Gabbay. Fibred Semantics and the Weaving of Logics, part 2: Fibring Non-monotonic Logics. In L.Czirmasz, D.Gabbay and M.De Rijke, editors, Logic Colloquium'92. CSLI, Stanford, 1995.
Products of Modal Logics, Part 1 - Dov Gabbay Department Self-citation (Gabbay Logics) (Correct)
No context found.
D. Gabbay. Fibred Semantics and the Weaving of Logics, part 2: Fibring Non-monotonic Logics. In L.Czirmasz, D.Gabbay and M.De Rijke, editors, Logic Colloquium'92. CSLI, Stanford, 1995.
Algorithmic Deduction based on Labelled Tableaux Project.. - Broda, Gabbay Self-citation (Gabbay) (Correct)
....where the user can easily switch from one context to the other. The proof theoretical side of this problem can be formulated as follows: how can we combine different proof systems (e.g. tableau systems) into more general ones, possibly preserving the desirable properties of the originals In [21, 20] Gabbay investigated the general notion of fibred semantics which provides the theoretical foundations for the development of such hybrids. In a recent position paper [11] we merged this line of research with our results on substructural implication (described in Section 2 above) and investigated ....
Dov Gabbay. Fibred semantics and the weaving of logics, part 2: Fibring non-monotonic logics. In Proceedings of Logic Colloquium, SILLI Book Series, pages 75--94. Cambridge University Press, 1992.
Combining Logics for Multi-agent Systems - Lomuscio, Ryan (1997) Self-citation (Logics) (Correct)
....scratch, we believe that it is better to study how the existing logics dealing with individual aspects may be combined. Indeed, the field of combining logics is emerging as an active area, promising powerful results such as the preservation of important properties of the logics being combined [Gab92, Gab, KW91, dR92, BdR]. The problem of combining logics is this: given two logics A and B, how to combine them into a single logic A N B which extends the expressive power of each one For example, suppose A addresses temporal aspects of agents and B addresses epistemic aspects. Their combination should be able to ....
....logic. More generally, any two logics can be combined by embedding one inside the other. This is an asymmetric combination: the outer logic can talk about formulas of the inner one, but not conversely. Full fibring. A more symmetric combination is provided by Gabbay s full fibring technique [Gab, Gab92, BdR]. In that work, formulas of the combined logic can mix operators from the component logics arbitrarily, and the semantics is defined by going back and forth between models of the component logics. Full join. In this approach [FG] called the T Theta W approach in [Tho84] Kripke frames of the ....
D. M. Gabbay. Fibred semantics and the weaving of logics, part 2: Fibring nonmonotonic logics. In L. Csrimaz, D. Gabbay, and M. de Rijke, editors, Proceedings of the Logic Colloquium 92, SILLI Book Series, pages 75--94, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC