Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970)
From MaRDI portal
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