Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Metalevel Manifesto Read chapter Read first chapter

1990 | OriginalPaper | Chapter

Automated Quantified Modal Logic

Authors : L. Fariñas del Cerro, A. Herzig

Published in: Machine Learning, Meta-Reasoning and Logics

Publisher: Springer US

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

previous chapter Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report
Metadata
Title
Automated Quantified Modal Logic
Authors
L. Fariñas del Cerro
A. Herzig
Copyright Year
1990
Publisher
Springer US
Book
Machine Learning, Meta-Reasoning and Logics

Print ISBN: 978-1-4612-8906-7

Electronic ISBN: 978-1-4613-1641-1

Copyright Year: 1990

DOI
https://doi.org/10.1007/978-1-4613-1641-1_14