A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225)
From MaRDI portal
scientific article; zbMATH DE number 7760990
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic |
scientific article; zbMATH DE number 7760990 |
Statements
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (English)
0 references
3 November 2023
0 references
term modal logic
0 references
two variable fragment
0 references
equality
0 references
normal form
0 references
decidability
0 references
0 references
