1996 | OriginalPaper | Buchkapitel
An Overview of Fibred Semantics and the Combination of Logics
verfasst von : Dov M. Gabbay
Erschienen in: Frontiers of Combining Systems
Verlag: Springer Netherlands
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper presents an overview of the authors methodology of Fibred Semantics and The Combinations of Logics presented in a series of papers under the same title. We explain the ideas behind fibring and illustrate them in several case studies. We include fibring modal and intuitionistic logics, fibring with fuzzy logics as well as self fibring of predicate logics.