Author:
Szalas, Andrzej (Imperial College of Science and Technology, London)
Title:
Arithmetical Axiomatization of First-Order Temporal Logic
Publication type:
Article in journal (Refereed)
Publisher:
Elsevier
In:
Information Processing Letters(ISSN 0020-0190)(EISSN 1872-6119)
URI:
urn:nbn:se:liu:diva-74972
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74972
Subject category:
Engineering and Technology
Keywords(en)
:
Arithmetical completeness; completeness; first-order temporal logic; Kripke structure; proof system; soundness; temporal theory
Available from:
2012-02-13
Statistics:
3 hits