Restricted interpolation and lack thereof in stit logic (Q5117589)
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: Restricted interpolation and lack thereof in stit logic |
scientific article; zbMATH DE number 7239853
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Restricted interpolation and lack thereof in stit logic |
scientific article; zbMATH DE number 7239853 |
Statements
RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (English)
0 references
26 August 2020
0 references
stit logic
0 references
interpolation
0 references
Robinson consistency property
0 references
0.773212194442749
0 references
0.7725214958190918
0 references
0.7711629867553711
0 references
0.7696280479431152
0 references
0.7678431868553162
0 references
