Completeness Proofs for Some Logics of Programs

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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

Links

PhilArchive



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

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

Completeness Proofs for Some Logics of Programs.Bogdan S. Chlebus - 1982 - Mathematical Logic Quarterly 28 (4‐7):49-62.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs.Andrzej Biela - 1984 - Bulletin of the Section of Logic 13 (2):69-72.
Imperative programs as proofs via game semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
New techniques and completeness results for preferential structures.Karl Schlechta - 2000 - Journal of Symbolic Logic 65 (2):719-746.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
Kripke Completeness of First-Order Constructive Logics with Strong Negation.Ichiro Hasuo & Ryo Kashima - 2003 - Logic Journal of the IGPL 11 (6):615-646.
Exploring Computational Contents of Intuitionist Proofs.Geiza Hamazaki da Silva, Edward Haeusler & Paulo Veloso - 2005 - Logic Journal of the IGPL 13 (1):69-93.
Quick completeness proofs for some logics of conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.

Analytics

Added to PP
2015-12-02

Downloads
24 (#651,995)

6 months
2 (#1,192,610)

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..
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references