Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Saved in:
Bibliographic Details
Published inJournal of logic and computation
Format Journal Article
LanguageEnglish
Published 08.03.2025
Online AccessGet full text
ISSN0955-792X
1465-363X
DOI10.1093/logcom/exad078

Cover

More Information
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exad078