de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Hochschulschrift

Resolution-Based Calculi for Modal Logics

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45060

Mohr,  Erik
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

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


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0014-AD18-7
Zusammenfassung
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.