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, Mikhail1, Shkatov, Dmitry2
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.
Be the first to leave a comment!
You must be logged in first