FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980)
From MaRDI portal
scientific article; zbMATH DE number 7171849
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
