Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\) (Q1134142)
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: Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\) |
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
