Barwise Completeness Theorems for Some Biprobability Logics

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):133-135 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860320706

Links

PhilArchive



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

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.
Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):393-398.
Analytic completeness theorem for absolutely continuous biprobability models.Radosav S. Đorđević - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):241-246.
Completeness Proofs for Some Logics of Programs.Bogdan S. Chlebus - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):49-62.
On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496.
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.J. A. Makowsky & A. Marcja - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):97-104.
Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):261-264.
Makinson D.. On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 379–384. [REVIEW]Lennart Åqvist - 1970 - Journal of Symbolic Logic 35 (1):135-136.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.

Analytics

Added to PP
2015-12-02

Downloads
28 (#138,667)

6 months
2 (#1,816,284)

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

No references found.

Add more references