The predicate version of the joint logic of problems and propositions (Q6178325)
From MaRDI portal
scientific article; zbMATH DE number 7733536
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The predicate version of the joint logic of problems and propositions |
scientific article; zbMATH DE number 7733536 |
Statements
The predicate version of the joint logic of problems and propositions (English)
0 references
1 September 2023
0 references
nonclassical logics
0 references
Kripke semantics
0 references
