Axiomatizing the monodic fragment of first-order temporal logic (Q1849866): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 12:04, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatizing the monodic fragment of first-order temporal logic |
scientific article |
Statements
Axiomatizing the monodic fragment of first-order temporal logic (English)
0 references
2 December 2002
0 references
It is shown that the fragment of the first-order temporal logic over the natural numbers that has no functional symbols, no equality and contains only monodic formulas, i.e., all those where each temporal subformula has at most one free variable, can be given a Hilbert-style axiomatization. Moreover, adding equality yields a theory which is not recursively enumerable. Finally the paper shows that the monodic fluted fragment and the monodic loosely guarded fragment are decidable.
0 references
first-order temporal logic
0 references
axiomatizability
0 references
decidability
0 references