Journal of Symbolic Logic 40 (1):25-30 (1975)
The usual semantics for the modal systems T, S4, and S5 assumes that the set of possible worlds contains at least one member. Recently versions of these modal systems have been developed in which this assumption is dropped. The systems discussed here are obtained by slightly weakening the liberated versions of T and S4. The semantics does not assume the existence of possible worlds, and the accessibility relation between worlds is only required to be quasi-reflexive instead of reflexive. Completeness and independence results are established
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness. [REVIEW]Lloyd Humberstone - 2006 - Journal of Philosophical Logic 36 (1):1 - 32.
Similar books and articles
Wavefunction Tails in the Modal Interpretation.Michael Dickson - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:366 - 376.
Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours. [REVIEW]Edwin D. Mares & Paul McNamara - 1997 - Studia Logica 59 (3):397-415.
Possible-Worlds Semantics Without Possible Worlds: The Agnostic Approach.John Divers - 2006 - Mind 115 (458):187-226.
Possible-Worlds Semantics for Modal Notions Conceived as Predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
Varieties of Supervenience.Brian P. McLaughlin - 1995 - In Elias E. Savellos & U. Yalcin (eds.), Supervenience: New Essays. Cambridge University Press. pp. 16--59.
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Added to index2009-01-28
Total downloads12 ( #374,747 of 2,164,554 )
Recent downloads (6 months)1 ( #347,971 of 2,164,554 )
How can I increase my downloads?