1990 | OriginalPaper | Buchkapitel
Automated Quantified Modal Logic
verfasst von : L. Fariñas del Cerro, A. Herzig
Erschienen in: Machine Learning, Meta-Reasoning and Logics
Verlag: Springer US
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
In this paper we present a deduction method for quantified modal logics via extensions of the classical unification algorithm. We show that deductions in modal logics can be formulated as particular problems in unification theory.