Decidability of weak logics with deterministic transitive closure (Q4635613)
From MaRDI portal
scientific article; zbMATH DE number 6863087
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability of weak logics with deterministic transitive closure |
scientific article; zbMATH DE number 6863087 |
Statements
Decidability of weak logics with deterministic transitive closure (English)
0 references
23 April 2018
0 references
deterministic transitive closure
0 references
satisfiability problem
0 references
two-variable logic
0 references