Combining and automating classical and non-classical logics in classical higher-order logics (Q656826): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
| Property / describes a project that uses | |||
| Property / describes a project that uses: TPTP / rank | |||
Normal rank | |||
Revision as of 17:00, 29 February 2024
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
