Barcan Both Ways (Q4531581)
From MaRDI portal
scientific article; zbMATH DE number 1744200
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Barcan Both Ways |
scientific article; zbMATH DE number 1744200 |
Statements
Barcan Both Ways (English)
0 references
22 May 2002
0 references
modal logic
0 references
converse Barcan formula
0 references
equality
0 references
Barcan formula
0 references
domains
0 references
