Temporal alethic–deontic logic and semantic tableaux
2012 (English)In: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 10, no 3, 219-237 p.Article in journal (Refereed) Published
The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems 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 our systems 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
2012. Vol. 10, no 3, 219-237 p.
T×W logics, Temporal logic, Modal logic, Deontic logic, Semantic tableaux, Historical necessity, The ought-implies-can principle, The means-end principle
Research subject Theoretical Philosophy
IdentifiersURN: urn:nbn:se:su:diva-77037DOI: 10.1016/j.jal.2012.03.002ISI: 000305772600001OAI: oai:DiVA.org:su-77037DiVA: diva2:529141