Doherty, Patrick; Szałas, Andrzej Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. (English) Zbl 07803982 Artif. Intell. 326, Article ID 104036, 18 p. (2024). MSC: 68T30 03C10 68T27 PDFBibTeX XMLCite \textit{P. Doherty} and \textit{A. Szałas}, Artif. Intell. 326, Article ID 104036, 18 p. (2024; Zbl 07803982) Full Text: DOI arXiv
Feng, Renyan; Wang, Yisong; Qian, Ren; Yang, Lei; Chen, Panfeng Knowledge forgetting in propositional \(\mu\)-calculus. (English) Zbl 07644141 Ann. Math. Artif. Intell. 91, No. 1, 1-43 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{R. Feng} et al., Ann. Math. Artif. Intell. 91, No. 1, 1--43 (2023; Zbl 07644141) Full Text: DOI
Müller, Christan; Seidl, Helmut Stratified guarded first-order transition systems. (English) Zbl 1474.68192 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 113-133 (2020). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{C. Müller} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 12389, 113--133 (2020; Zbl 1474.68192) Full Text: DOI
Fang, Liangda; Liu, Yongmei; van Ditmarsch, Hans Forgetting in multi-agent modal logics. (English) Zbl 1478.68351 Artif. Intell. 266, 51-80 (2019). MSC: 68T27 03B42 03B45 68T42 PDFBibTeX XMLCite \textit{L. Fang} et al., Artif. Intell. 266, 51--80 (2019; Zbl 1478.68351) Full Text: DOI
Conradie, Willem; Fomatati, Yves; Palmigiano, Alessandra; Sourabh, Sumit Algorithmic correspondence for intuitionistic modal mu-calculus. (English) Zbl 1318.03030 Theor. Comput. Sci. 564, 30-62 (2015). MSC: 03B45 03B70 PDFBibTeX XMLCite \textit{W. Conradie} et al., Theor. Comput. Sci. 564, 30--62 (2015; Zbl 1318.03030) Full Text: DOI
Schmidt, Renate A. The Ackermann approach for modal logic, correspondence theory and second-order reduction. (English) Zbl 1248.03039 J. Appl. Log. 10, No. 1, 52-74 (2012). MSC: 03B45 03B35 03C10 PDFBibTeX XMLCite \textit{R. A. Schmidt}, J. Appl. Log. 10, No. 1, 52--74 (2012; Zbl 1248.03039) Full Text: DOI
Conradie, Willem; Palmigiano, Alessandra Algorithmic correspondence and canonicity for distributive modal logic. (English) Zbl 1255.03030 Ann. Pure Appl. Logic 163, No. 3, 338-376 (2012). Reviewer: Guram Bezhanishvili (Las Cruces) MSC: 03B45 03G10 06D10 06D50 PDFBibTeX XMLCite \textit{W. Conradie} and \textit{A. Palmigiano}, Ann. Pure Appl. Logic 163, No. 3, 338--376 (2012; Zbl 1255.03030) Full Text: DOI
Conradie, Willem; Goranko, Valentin; Vakarelov, Dimitar Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. (English) Zbl 1214.03011 J. Appl. Log. 8, No. 4, 319-333 (2010). MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{W. Conradie} et al., J. Appl. Log. 8, No. 4, 319--333 (2010; Zbl 1214.03011) Full Text: DOI
Conradie, Willem Completeness and correspondence in hybrid logic via an extension of SQEMA. (English) Zbl 1347.03018 Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 175-190 (2009). MSC: 03B35 03B44 03B45 03B70 PDFBibTeX XMLCite \textit{W. Conradie}, Electron. Notes Theor. Comput. Sci. 231, 175--190 (2009; Zbl 1347.03018) Full Text: DOI
Lifschitz, Vladimir On the logic of causal explanation. (English) Zbl 0901.03022 Artif. Intell. 96, No. 2, 451-465 (1997). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 96, No. 2, 451--465 (1997; Zbl 0901.03022) Full Text: DOI
Brink, C.; Gabbay, D. M.; Ohlbach, H. J. Towards automating duality. (English) Zbl 0816.03004 Comput. Math. Appl. 29, No. 2, 73-90 (1995). Reviewer: N.Curteanu (Iaşi) MSC: 03B35 68T15 03C10 68Q55 68T27 PDFBibTeX XMLCite \textit{C. Brink} et al., Comput. Math. Appl. 29, No. 2, 73--90 (1995; Zbl 0816.03004) Full Text: DOI Link