Incompleteness of a first-order gödel logic and some temporal logics of programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1092, Issue , 1996, Pages 1-15

  Baaz, Matthias ^a   Leitsch, Aiexander ^a   Zach, Richard ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

03B50; 03B55; Intermediate logic; Many valued logic MR Classification: 03B45; Temporal logic

Indexed keywords

FORMAL LOGIC; MANY VALUED LOGICS; RECONFIGURABLE HARDWARE; SEMANTICS; TEMPORAL LOGIC;

03B50; 03B55; DISCRETE TIME; INTERMEDIATE LOGIC; INTUITIONISTIC LOGIC; KRIPKE SEMANTICS; LOGIC OF PROGRAMS; ORDER STRUCTURE;

COMPUTER CIRCUITS;

EID: 84957623443     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61377-3_28     Document Type: Conference Paper

References (11)

1. M. Baaz, C. G. Fermüller, and R. Zach. Elimination of cuts in first-order finitevalued logics. Y. Inform. Process. Cybernet. EIK, 29(6), 333-355, 1994.
2. M. Baaz, A. Leitsch, and R. Zach. Completeness of a first-order temporal logic with time-gaps. Theoret. Comput. Sci., 1996 to appear.
3. M. Dummett. A propositional calculus with denumerable matrix. J. Symbolic Logic, 24, 97-106, 1959.
4. K. Gödel. Zum intuitionistischen Aussagenkalkiil. Anz. Akad. Wiss. Wien, 69, 65-66, 1932.
5. F. Kröhger. Temporal Logic qf Programs. EATCS Monographs in Computer Science 8. (Springer, Berlin, 1987).
6. F. Krhger. On the interpretability of arithmetic in temporal logic. Theoret. Cornput. Sci., 73, 47-60, 1990.
7. S. Merz. Decidability and incompleteness results for first-order temporal logics of linear time. J. Applied Non-Classical Logics, 2(2), 139-156, 1992.
8. B. Scarpellini. Die Nichtaxiomatisierbarkeit des uneudlichwertigen Präkills yon Lukasiewicz. Y. Symbolic Logic, 27, 159-170, 1962.
9. A. Szalas. Concerning the semantic consequence relation in first-order temporal logic. Theoret. Cornput. Sci., 47, 329-334, 1986.
10. A. Szalas and L. Holenderski. Incompleteness of first-order temporal logic with until. Theoret. Comput. Sci., 57, 317-325, 1988.
11. G. Takeuti and T. Titani. Intuitionistic fuzzy logic and instuitionistic fuzzy set theory. Y. Symbolic Logic, 49, 851-866, 1984.