Axioms for actuality

descriptionPublicationkeyboard_double_arrow_right Article 01 Feb 1984 English Publisher:Springer Science and Business Media LLCJournal:Journal of Philosophical Logic, volume 13, pages 27-34 (issn: 0022-3611, eissn: 1573-0433,

Copyright policy )

Authors: Harold T. Hodes;

doi: 10.1007/bf00297575

Axioms for actuality

- Summary
- Subjects
- Metrics

Abstract

In this paper I present the model-theoretic semantics for modal languages with an actuality operator; I axiomatize the valid and the strongly valid formulae of any such language. I then prove that certain conditions on modal models which are easily expressed using quantification over possibilia cannot be expressed in quantified modal languages containing the actuality operator in addition to the usual necessity operator.

Related Organizations

Cornell University
United States

Keywords

necessity, model-theoretic semantics, actuality operator, modal models, Henkin construction, Modal logic (including the logic of norms), S5, modal logic

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	17
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average