Incompleteness of a first-order gödel logic and some temporal logics of programs
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Completeness of a first-order temporal logic with time-gapsTheoretical Computer Science, 1996
- Decidability and incompleteness results for first-order temporal logics of linear timeJournal of Applied Non-Classical Logics, 1992
- On the interpretability of arithmetic in temporal logicTheoretical Computer Science, 1990
- Incompleteness of first-order temporal logic with untilTheoretical Computer Science, 1988
- Concerning the semantic consequence relation in first-order temporal logicTheoretical Computer Science, 1986
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryThe Journal of Symbolic Logic, 1984
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von ŁukasiewiczThe Journal of Symbolic Logic, 1962
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959