FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980)
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 7171849
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS |
scientific article; zbMATH DE number 7171849 |
Statements
FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (English)
0 references
20 February 2020
0 references
modal logic
0 references
possibility semantics
0 references
completeness proofs
0 references
0.7867212295532227
0 references
0.7301780581474304
0 references
0.7198072671890259
0 references
0.7184340357780457
0 references
