Kamide, Norihiro Falsification-aware calculi and semantics for normal modal logics including S4 and S5. (English) Zbl 07726395 J. Logic Lang. Inf. 32, No. 3, 395-440 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{N. Kamide}, J. Logic Lang. Inf. 32, No. 3, 395--440 (2023; Zbl 07726395) Full Text: DOI
Weber, Volker Branching-time logics repeatedly referring to states. (English) Zbl 1193.03034 J. Logic Lang. Inf. 18, No. 4, 593-624 (2009). MSC: 03B44 03B62 68Q17 68Q45 68Q60 PDFBibTeX XMLCite \textit{V. Weber}, J. Logic Lang. Inf. 18, No. 4, 593--624 (2009; Zbl 1193.03034) Full Text: DOI
Hella, Lauri; Sevenster, Merlijn; Tulenheimo, Tero Partially ordered connectives and monadic monotone strict NP. (English) Zbl 1169.03023 J. Logic Lang. Inf. 17, No. 3, 323-344 (2008). MSC: 03B70 03C80 03D15 68Q15 68Q25 PDFBibTeX XMLCite \textit{L. Hella} et al., J. Logic Lang. Inf. 17, No. 3, 323--344 (2008; Zbl 1169.03023) Full Text: DOI