
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>Summary: We characterize the computational complexity of a family of approximation multimodal logics in which interdependent modal connectives are part of the language. Those logics have been designed to reason in the presence of incomplete information in the sense of rough set theory. More precisely, we show that all the logics have a PSPACE-complete satisfiability problem and we define a family of tolerance approximation multimodal logics whose satisfiability is EXPTIME-complete. This illustrates that the PSPACE upper bound for this kind of multimodal logics is a very special feature of such logics. The PSPACE upper bounds are established by adequately designing Ladner-style tableaux-based procedures whereas the EXPTIME lower bound is established by reduction from the global satisfiability problem for the standard modal logic B.
Logic in artificial intelligence, Complexity of computation (including implicit computational complexity), computational complexity, Ladner-style algorithm, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], tolerance rough set, PSPACE, tolerance rough sets, 004, Decidability of theories and sets of sentences, satisfiability, multimodal logic, global satisfiability problem, incomplete information, EXPTIME, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), rough sets, [INFO]Computer Science [cs], complexity, multimodal logics, Modal logic (including the logic of norms)
Logic in artificial intelligence, Complexity of computation (including implicit computational complexity), computational complexity, Ladner-style algorithm, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], tolerance rough set, PSPACE, tolerance rough sets, 004, Decidability of theories and sets of sentences, satisfiability, multimodal logic, global satisfiability problem, incomplete information, EXPTIME, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), rough sets, [INFO]Computer Science [cs], complexity, multimodal logics, Modal logic (including the logic of norms)
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
