Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems

Notre Dame Journal of Formal Logic 42 (1):55-64 (2001)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1054301355

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
Many-valued logics of extended Gentzen style II.Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (4):493-528.

Analytics

Added to PP
2010-08-24

Downloads
23 (#679,329)

6 months
6 (#510,793)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some modal logics based on a three-valued logic.Osamu Morikawa - 1988 - Notre Dame Journal of Formal Logic 30 (1):130-137.

Add more references