Completeness Proofs for Some Logics of Programs

Mathematical Logic Quarterly 28 (4‐7):49-62 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820280402

Other Versions

reprint Chlebus, Bogdan S. (1982) "Completeness Proofs for Some Logics of Programs". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28(4-7):49-62

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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

Barwise Completeness Theorems for Some Biprobability Logics.M. Rašković & R. Živaljević - 1986 - Mathematical Logic Quarterly 32 (7‐9):133-135.
The completeness of monotonic modal logics.Brian F. Chellas & Audrey McKinney - 1975 - Mathematical Logic Quarterly 21 (1):379-383.
Theory and application of labelling techniques for interpretability logics.Evan Goris, Marta Bílková, Joost J. Joosten & Luka Mikec - 2022 - Mathematical Logic Quarterly 68 (3):352-374.
Quick completeness proofs for some logics of conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.
On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.
Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Mathematical Logic Quarterly 34 (5):393-398.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Analyzing completeness of axiomatic functional systems for temporal × modal logics.Alfredo Burrieza Muñiz, Inmaculada Pérez de Guzmán Molina & Emilio J. Muñoz Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
On the Complexity of Some Substructural Logics.Buszkowski Wojciech - 2008 - Reports on Mathematical Logic.

Analytics

Added to PP
2013-11-04

Downloads
22 (#976,128)

6 months
4 (#1,255,690)

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

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..

Add more references