Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
Model-theoretic and Computational Properties of Modal Dependence Logic
Journal of Logic and Computation
Generalized modal satisfiability
Journal of Computer and System Sciences
Complexity results for modal dependence logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Hi-index | 0.00 |
Modal intuitionistic dependence logic ($\mathcal MIDL $) incorporates the notion of "dependence" between propositions into the usual modal logic and has connectives which correspond to intuitionistic connectives in a certain sense. It is the modal version of a variant of first-order dependence logic (Väänänen 2007) considered by Abramsky and Väänänen (2009) basing on Hodges' team semantics (1997). In this paper, we study the computational complexity of the model checking problem for $\mathcal MIDL$ and its fragments built by restricting the operators allowed in the logics. In particular, we show that the model checking problem for $\mathcal MIDL$ in general is PSPACE-complete and that for propositional intuitionistic dependence logic is coNP-complete.