Quantified Temporal Alethic-Deontic Logic
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
The purpose of this paper is to describe a set of quantiﬁed 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.
Quantified modal logic, T × W logics, temporal logic, deontic logic, semantic tableaux. Barcan formulas, possibilism, eternalism, actualism, presentism, Graham Priest
Philosophy, Ethics and Religion
Research subject Theoretical Philosophy
IdentifiersURN: urn:nbn:se:su:diva-107873DOI: 10.12775/LLP.2014.016OAI: oai:DiVA.org:su-107873DiVA: diva2:751475