Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case (Q5887988)
From MaRDI portal
scientific article; zbMATH DE number 7677428
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case |
scientific article; zbMATH DE number 7677428 |
Statements
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case (English)
0 references
21 April 2023
0 references
first-order modal logic
0 references
non-normal modal logic
0 references
non-deterministic matrices
0 references
Ivlev's logics
0 references
Barcan formulas
0 references
de re and de dicto modalities
0 references
contingent identities
0 references
