Resolution-Based Calculi for Modal Logics

Mohr, Erik

Local TagsRelease HistoryDetailsSummary

Resolution-Based Calculi for Modal Logics

Mohr, E. (1995). Resolution-Based Calculi for Modal Logics. Diploma Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD18-7 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-5BD9-8

Genre: Thesis

Files

show Files

Locators

show

Creators

show

hide

Creators:
Mohr, Erik¹, Author
Ohlbach, Hans Jürgen¹, Advisor
Nonnengart, Andreas¹, Referee

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: Based on different translation approaches from first-order modal logic into
first-order predicate logic we develop several kinds of resolution-based calculi
with additional theory clauses, inference rules or special unification
algorithms.
Especially the methods presented for the semi-functional and functional
approaches
lead to limited branching in the proof search tree and therefore to smaller sets
of generated clauses. In all cases soundness and (refutation) completeness
proofs
for these calculi are provided. The methods have been applied to serial modal
logics (i.e. modal logics containing the so-called axiom D) with constant, (and
partially) varying, increasing and decreasing domain structures and any
combination of the following modal logic axioms: T, B, 4 and 5.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1995Date issued: 1995

Publication Status: Issued

Pages: viii, 128 p.

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519627
Other: Local-ID: C1256104005ECAFC-E4814028088838DAC12562F8005E81EF-Mohr95

Degree: Diploma

Event

show

Legal Case

show

Project information

show

Source

show