``Everywhere'' in predicate algebra and modal logic (Q1349962)
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: ``Everywhere in predicate algebra and modal logic |
scientific article; zbMATH DE number 983840
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ``Everywhere'' in predicate algebra and modal logic |
scientific article; zbMATH DE number 983840 |
Statements
``Everywhere'' in predicate algebra and modal logic (English)
0 references
27 February 1997
0 references
Specification languages
0 references
model logic
0 references
Predicate algebra
0 references
Everywhere operator
0 references
