On an Axiomatic System of Modal Logic

Mathematical Logic Quarterly 14 (1-5):61-66 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680140105

Other Versions

No versions found

Links

PhilArchive



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

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

Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
A Modal Extension Of Weak Generalisation Predicate Logic.Francisco Kibedi & George Tourlakis - 2006 - Logic Journal of the IGPL 14 (4):591-621.
On a paper of akira nakamura.R. A. Bull - 1969 - Mathematical Logic Quarterly 15 (7‐12):155-156.
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.
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 a Simple Axiomatic System of the Infinitely Many‐Valued Logic Based on ∧, →.Akira Nakamura - 1963 - Mathematical Logic Quarterly 9 (16‐17):251-263.
On a Certain System of Modal Logic.Akira Nakamura - 1965 - Mathematical Logic Quarterly 11 (3):203-207.
On an Axiomatic System of the Infinitely Many‐Valued Threshold Logics.Akira Nakamura - 1962 - Mathematical Logic Quarterly 8 (1):71-76.
On an Axiomatic System of the Infinitely Many‐Valued Threshold Predicate Calculi.Akira Nakamura - 1963 - Mathematical Logic Quarterly 9 (21):321-329.
A Remark on the Truth‐Value Stipulation for the Modal System M′.A. Nakamura - 1967 - Mathematical Logic Quarterly 13 (1‐2):11-14.

Analytics

Added to PP
2014-01-16

Downloads
36 (#634,807)

6 months
3 (#1,486,845)

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