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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,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

Linear temporal justification logics with past and future time modalities.Meghdad Ghari - 2023 - Logic Journal of the IGPL 31 (1):1-38.
Rejection and Truth-Value Gaps.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (4):574-577.
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic.Alexander S. Gerasimov - forthcoming - Logic and Logical Philosophy:1-50.
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Proof Systems for 3-valued Logics Based on Gödel’s Implication.Arnon Avron - 2022 - Logic Journal of the IGPL 30 (3):437-453.

Analytics

Added to PP
2010-08-24

Downloads
31 (#724,843)

6 months
7 (#698,214)

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