Quantified temporal alethic-deontic logic (Q2987727)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantified temporal alethic-deontic logic |
scientific article |
Statements
Quantified temporal alethic-deontic logic (English)
0 references
18 May 2017
0 references
quantified modal logic
0 references
\(T\times W\) logics
0 references
temporal logic
0 references
deontic logic
0 references
semantic tableaux
0 references
Barcan formulas, possibilism
0 references
eternalism
0 references
actualism
0 references
presentism
0 references
Graham Priest
0 references
0 references