A dyadic deontic logic in HOL (Q5224901)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A dyadic deontic logic in HOL |
scientific article; zbMATH DE number 7085137
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A dyadic deontic logic in HOL |
scientific article; zbMATH DE number 7085137 |
Statements
24 July 2019
0 references
logic of CTD conditionals
0 references
classical higher-order logic
0 references
semantic embedding
0 references
automated reasoning
0 references
0.8947782516479492
0 references
0.7451392412185669
0 references
0.7373007535934448
0 references
0.7149258852005005
0 references
