View in EDS

PSPACE-completeness of bimodal transitive weak-density logic.

Saved in:

Bibliographic Details
Title:	PSPACE-completeness of bimodal transitive weak-density logic.
Authors:	Gasquet, Olivier¹ (AUTHOR)
Source:	Logic Journal of the IGPL. Feb2026, Vol. 34 Issue 1, p1-18. 18p.
Database:	Business Source Ultimate

Description
ISSN:	13670751
DOI:	10.1093/jigpal/jzaf097