Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970)
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: Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK |
scientific article; zbMATH DE number 7325268
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK |
scientific article; zbMATH DE number 7325268 |
Statements
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (English)
0 references
18 March 2021
0 references
unification
0 references
modal temporal logic
0 references
passive inference rules
0 references
0 references
0.9364541
0 references
0.89440256
0 references
0.8925781
0 references
0.8868953
0 references
0.8823025
0 references
0.8808464
0 references
0.87736905
0 references
