Conjunctive normal forms and weak modal logics without the axiom of necessity

Notre Dame Journal of Formal Logic 25 (2):141-151 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870574

Links

PhilArchive



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

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

Cut-free modal sequents for normal modal logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.
Some remarks on weak modal logics.R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22:309-314.
Weak forms of the axiom of constructibility.Richard L. Poss - 1971 - Notre Dame Journal of Formal Logic 12 (3):257-299.
Some remarks on (weakly) weak modal logics.R. E. Jennings & P. K. Schotch - 1981 - Notre Dame Journal of Formal Logic 22 (4):309-314.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
Modal logics with two kinds of necessity and possibility.Paul Weingartner - 1968 - Notre Dame Journal of Formal Logic 9 (2):97-159.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
A note on some weak forms of the axiom of choice.Gary P. Shannon - 1991 - Notre Dame Journal of Formal Logic 33 (1):144-147.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Equivalents of a weak axiom of choice.Melven Krom - 1981 - Notre Dame Journal of Formal Logic 22 (3):283-285.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,167,245)

6 months
34 (#104,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.

Add more citations

References found in this work

No references found.

Add more references