Models of three-valued calculi in inplicational S5

Bulletin of the Section of Logic 12 (2):73-75 (1983)
  Copy   BIBTEX

Abstract

In this paper we investigate total correctness in Nonstandard Dynamic Logic . Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a rst order notion if approached properly

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

  • This entry has no external links. Add one.
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

Total correctness in nonstandard dynamic logic.Ildiko Sain - 1983 - Bulletin of the Section of Logic 12 (2):64-68.
Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Some Remarks On Three-valued Implicative Sentential Calculi.Teresa Zakrzewska - 1976 - Bulletin of the Section of Logic 5 (1):9-11.
On a four-valued modal logic with deductive implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
An integer-valued matrix characteristic for implicational S5'.D. Ulrich - 1990 - Bulletin of the Section of Logic 19:87-91.
Higher-order sequent-system for intuitionistic modal logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
On Homogenous Fragments Of Normal Modal Propositional Logics.Jerzy Perzanowski - 1975 - Bulletin of the Section of Logic 4 (2):44-49.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references