Complexity function and complexity of validity of modal and superintuitionistic propositional logics.
Saved in:
| 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.
Login for full access.
|
|
Be the first to leave a comment!