LiU Electronic Press
Full-text not available in DiVA
Author:
Szalas, Andrzej (University of Warsaw)
Title:
On Natural Deduction in First-Order Fixpoint Logics
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: IOS Press
Status:
Published
In:
Fundamenta Informaticae(ISSN 0169-2968)
Volume:
26
Issue:
1
Pages:
81-94
Year of publ.:
1996
URI:
urn:nbn:se:liu:diva-74980
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74980
Subject category:
Engineering and Technology
Abstract(en) :

In the current paper we present a powerful technique of obtaining natural deduction proof systems for first-order fixpoint logics. The term fixpoint logics  refers collectively to a class of logics consisting of modal logics with modalities definable at meta-level by fixpoint equations on formulas. The class was found very interesting as it contains most logics of programs with e.g. dynamic logic, temporal logic and the ¯-calculus among them. In this paper we present a technique that allows us to derive automatically natural deduction systems for modal logics from fixpoint equations defining the modalities

Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2012-06-24
Statistics:
8 hits