Change search
ReferencesLink to record
Permanent link

Direct link
Quantified Temporal Alethic-Deontic Logic
Stockholm University, Faculty of Humanities, Department of Philosophy.
2015 (English)In: Logic and Logical Philosophy, ISSN 1425-3305, E-ISSN 2300-9802, Vol. 24, no 1, 19-59 p.Article in journal (Refereed) Published
Abstract [en]

The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethic-deontic logic with predicate logic. We consider three basic kinds of systems: constant, variable and constant and variable domain systems. These systems can be augmented by either necessary or contingent identity, and every system that includes identity can be combined with descriptors. All logics are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T × W semantics, to characterize them semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.

Place, publisher, year, edition, pages
2015. Vol. 24, no 1, 19-59 p.
Keyword [en]
Quantified modal logic, T × W logics, temporal logic, deontic logic, semantic tableaux. Barcan formulas, possibilism, eternalism, actualism, presentism, Graham Priest
National Category
Philosophy, Ethics and Religion
Research subject
Theoretical Philosophy
URN: urn:nbn:se:su:diva-107873DOI: 10.12775/LLP.2014.016OAI: diva2:751475
Available from: 2014-10-01 Created: 2014-10-01 Last updated: 2015-12-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Rönnedal, Daniel
By organisation
Department of Philosophy
In the same journal
Logic and Logical Philosophy
Philosophy, Ethics and Religion

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 87 hits
ReferencesLink to record
Permanent link

Direct link