Axiomatizing the monodic fragment of first-order temporal logic

Wolter, F. and Zakharyaschev, Michael (2002) Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 (1-2), pp. 133-145. ISSN 0168-0072.

Full text not available from this repository.

Official URL: https://doi.org/10.1016/S0168-0072(01)00124-5

Abstract

It is known that even seemingly small fragments of the first-order temporal logic over the natural numbers are not recursively enumerable. In this paper we show that the monodic (not monadic, where this result does not hold) fragment is an exception by constructing its finite Hilbert-style axiomatization. We also show that the monodic fragment with equality is not recursively axiomatizable.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	01 Nov 2021 15:06
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46564

Statistics

Archive Staff Only (login required)

Edit/View Item