Logiques modales axiomatisées avec une profondeur de nidification peu probable dans PSPACE?
Je recherche des logiques modales, axiomatisées par un ensemble fini d'axiomes de profondeur de nidification modale un, et dont le problème de satisfiabilité / dérivabilité est peu probable dans PSPACE. Sans la restriction de la profondeur d'imbrication modale, ce n'est pas un problème, voir par...