First-order ground non-monotonic modal logic (Q3507585)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5291305
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | First-order ground non-monotonic modal logic |
scientific article; zbMATH DE number 5291305 |
Statements
20 June 2008
0 references
preference semantics
0 references
Herbrand semantics
0 references
nonmonotonic modal logic
0 references
default logic
0 references
minimal model semantics
0 references
0.8497085571289062
0 references
0.8344925045967102
0 references
0.8152784109115601
0 references
