Combining and automating classical and non-classical logics in classical higher-order logics (Q656826)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Combining and automating classical and non-classical logics in classical higher-order logics |
scientific article; zbMATH DE number 5997544
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Combining and automating classical and non-classical logics in classical higher-order logics |
scientific article; zbMATH DE number 5997544 |
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
0.9163518
0 references
0.90386844
0 references
0.8871899
0 references
0.8838638
0 references
0.88336897
0 references
0.8802809
0 references
