Combining and automating classical and non-classical logics in classical higher-order logics (Q656826)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Combining and automating classical and non-classical logics in classical higher-order logics |
scientific article |
Statements
Combining and automating classical and non-classical logics in classical higher-order logics (English)
0 references
13 January 2012
0 references
classical logic
0 references
quantified multimodal logics
0 references
logic combinations
0 references
classical higher-order logic
0 references
semantic embeddings
0 references
knowledge representation
0 references
higher-order automated theorem proving
0 references
automated reasoning of rational agents
0 references
nonclassical logics
0 references
simple type theory
0 references
0 references
