Modal-epistemic arithmetic and the problem of quantifying in (Q2442888)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal-epistemic arithmetic and the problem of quantifying in |
scientific article |
Statements
Modal-epistemic arithmetic and the problem of quantifying in (English)
0 references
1 April 2014
0 references
Heyting arithmetic
0 references
epistemic arithmetic
0 references
modal-epistemic arithmetic
0 references
awareness models
0 references
impossible worlds models
0 references
syntactical models
0 references
logical omniscience
0 references
logical competence
0 references
quantifying in
0 references
Shapiro
0 references
Horsten
0 references
