Model Checking for Modal Intuitionistic Dependence Logic (Q4914522)
From MaRDI portal
scientific article; zbMATH DE number 6153711
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model Checking for Modal Intuitionistic Dependence Logic |
scientific article; zbMATH DE number 6153711 |
Statements
Model Checking for Modal Intuitionistic Dependence Logic (English)
0 references
12 April 2013
0 references
dependence logic
0 references
intuitionistic logic
0 references
modal logic
0 references
model checking
0 references
computational complexity
0 references
