liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Arithmetical Axiomatization of First-Order Temporal Logic
Imperial College of Science and Technology, London.
1987 (English)In: Information Processing Letters, ISSN 0020-0190, E-ISSN 1872-6119, Vol. 26, no 3, 111-116 p.Article in journal (Refereed) Published
Place, publisher, year, edition, pages
Elsevier, 1987. Vol. 26, no 3, 111-116 p.
Keyword [en]
Arithmetical completeness; completeness; first-order temporal logic; Kripke structure; proof system; soundness; temporal theory
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-74972DOI: 10.1016/0020-0190(87)90047-0OAI: diva2:499817
Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2012-02-22

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
In the same journal
Information Processing Letters
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 79 hits
ReferencesLink to record
Permanent link

Direct link