Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

Publications Master Template :: Thesis :: Mohr, Erik

Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Master's thesis | @MastersThesis | Masterarbeit

Author(s)*:Mohr, Erik
BibTeX citekey*:Mohr95

Title, School
Title*:Resolution-Based Calculi for Modal Logics
School:Universität des Saarlandes
Type of Thesis*:Master's thesis

Note, Abstract, Copyright
LaTeX 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.

Referees, Status, Dates
Date Kolloquium:23 September 2019

MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:experts only
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list

BibTeX Entry:

AUTHOR = {Mohr, Erik},
TITLE = {Resolution-Based Calculi for Modal Logics},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1995},
TYPE = {Master's thesis}

Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Uwe Brahm
03/25/1996 06:12:16 PM

Uwe Brahm
Uwe Brahm/MPII/DE

Edit Date
04/28/99 09:28:04 PM
03/25/96 06:13:32 PM