Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107)
From MaRDI portal
scientific article; zbMATH DE number 7753870
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epistemic logics with quantification over epistemic operators: decidability and expressiveness |
scientific article; zbMATH DE number 7753870 |
Statements
Epistemic logics with quantification over epistemic operators: decidability and expressiveness (English)
0 references
24 October 2023
0 references
quantification over modal operators
0 references
decision problem
0 references
expressive power
0 references
term-modal logics
0 references
two variable and guarded fragments of first-order logic
0 references
outer-scope and inner-scope references
0 references
0 references
