Axiomatizing the monodic fragment of first-order temporal logic (Q1849866): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5691140 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the feasibility of checking temporal integrity constraints / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4400800 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3835817 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3773852 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4263155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidable fragments of first-order temporal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability of fluted logic with identity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fluted formulas and the limits of decidability / rank | |||
Normal rank |
Latest revision as of 19:02, 4 June 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