Modal logics with n‐ary connectives

&
Mathematical Logic Quarterly 36 (3):193-215 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360303

Links

PhilArchive



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

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

Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
A warning about the choice of primitive operators in modal logic.David Makinson - 1973 - Journal of Philosophical Logic 2 (2):193 - 196.
Inverses for normal modal operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. , vol. 14 , pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 , pp. 401–429. , pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 , pp. 403–405. , pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 , pp. 569–572. , pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 , pp. 384–387. , pp. 1289–1292.). [REVIEW]Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
Negation-Free Modal Logics.George F. Schumm & Roy Edelstein - 1979 - Mathematical Logic Quarterly 25 (13-18):281-288.
Negation‐Free Modal Logics.George F. Schumm & Roy Edelstein - 1979 - Mathematical Logic Quarterly 25 (13‐18):281-288.
Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics.Richard Routley - 1976 - Mathematical Logic Quarterly 23 (36):497-510.
The completeness of monotonic modal logics.Brian F. Chellas & Audrey McKinney - 1975 - Mathematical Logic Quarterly 21 (1):379-383.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,269,748)

6 months
3 (#1,206,820)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuity, freeness, and filtrations.Silvio Ghilardi - 2010 - Journal of Applied Non-Classical Logics 20 (3):193-217.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.

View all 7 references / Add more references