Translator Disclaimer
2001 Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems
Osamu Morikawa
Notre Dame J. Formal Logic 42(1): 55-64 (2001). DOI: 10.1305/ndjfl/1054301355

Abstract

Nakamura proposed two three-valued temporal logics. We present two extended Gentzen-type formulations of these logics. Then we prove the soundness as well as the completeness theorem.

Citation

Download Citation

Osamu Morikawa. "Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems." Notre Dame J. Formal Logic 42 (1) 55 - 64, 2001. https://doi.org/10.1305/ndjfl/1054301355

Information

Published: 2001
First available in Project Euclid: 30 May 2003

zbMATH: 1023.03527
MathSciNet: MR1993390
Digital Object Identifier: 10.1305/ndjfl/1054301355

Subjects:
Primary: 03B50
Secondary: 03B44

Rights: Copyright © 2001 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.42 • No. 1 • 2001
Back to Top