English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  A Resolution-Based Calculus for Temporal Logics

Nonnengart, A. (1995). A Resolution-Based Calculus for Temporal Logics. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Nonnengart, Andreas1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: The increasing interest in applying temporal logics in various areas of computer science requires the development of efficient means that allow to reason within such logics. Usually this is realized by an implementable calculus and indeed remarkable progress has been made in the last two decades. The approaches developed so far can be roughly divided into two main categories: Either known techniques are extended to cope with the temporal logic syntax, or translation techniques into predicate logic are defined which allow to exploit already existing calculi. The former approach has the advantage that derivations remain within the temporal logic syntax, whereas the latter approach benefits from many years (in fact decades) of experience gained in classical logic theorem proving. The approach proposed in this work is based on a particular translation method into classical first-order predicate logic which utilizes certain interesting translational invariants. The reader is assumed to have detailed knowledge of automated theorem proving and formal logic, in particular classical first-order predicate logic. Although the introduction of modal and temporal logics is fairly self-contained at least some knowledge of these logic areas would be quite helpful.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121995-12-211995
 Publication Status: Issued
 Pages: -
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519626
Other: Local-ID: C1256104005ECAFC-E2DA5AF2849CB50BC12562F90054DE49-Nonnengart-Dissertation
 Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show