View in EDS HTML Full Text PDF Full Text

Complexity function and complexity of validity of modal and superintuitionistic propositional logics.

Saved in:

Bibliographic Details
Title:	Complexity function and complexity of validity of modal and superintuitionistic propositional logics.
Authors:	Rybakov, Mikhail¹, Shkatov, Dmitry²
Source:	Journal of Logic & Computation; Oct2023, Vol. 33 Issue 7, p1566-1595, 30p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exac085