Supercover semantics for deontic action logic (Q2322983)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Supercover semantics for deontic action logic |
scientific article |
Statements
Supercover semantics for deontic action logic (English)
0 references
30 August 2019
0 references
The author constructs a formal language for deontic propositional logic which, he suggests, is better adapted than those currently available for expressing and analyzing free-choice permissions. The proposal follows \textit{R. Trypuz} and \textit{P. Kulicki} [J. Log. Comput. 25, No. 5, 1241--1260 (2015; Zbl 1336.03027)] in distinguishing syntactically between propositions and act-types, with deontic operators applicable only to the latter, and it follows \textit{M. Simons} [``Dividing things up: the semantics of or and the modal/or interaction'', Nat. Lang. Seman. 13, 271--316 (2005; \url{doi:10.1007/s11050-004-2900-7})] in using a `supercover' semantics that assigns sets of action-types, as well as single action-types, to the action terms of the language. In this way, free-choice permission becomes an operation forming propositions out of sets of action-types. The construction validates certain formulae usually considered desirable for free-choice permission and invalidates certain others regarded as undesirable. An axiomatization is given, along with proofs of soundness and completeness.
0 references
action
0 references
alternative semantics
0 references
choice
0 references
deontic logic
0 references
free choice permission
0 references
supercover semantics
0 references
0 references