Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\) (Q1134142)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\) |
scientific article |
Statements
Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\) (English)
0 references
1980
0 references
axiomatization for an interpreted modal calculus
0 references
axiom of choice
0 references
existence principle
0 references
description operator
0 references
