The complexity of primal logic with disjunction (Q2339598)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The complexity of primal logic with disjunction |
scientific article |
Statements
The complexity of primal logic with disjunction (English)
0 references
2 April 2015
0 references
computational complexity
0 references
model checking
0 references
primal logic with disjunction
0 references
Kripke semantics
0 references
quasi-Boolean semantics
0 references
satisfiability
0 references