Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos Syntactic completeness of proper display calculi. (English) Zbl 1505.03121 ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{J. Chen} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022; Zbl 1505.03121) Full Text: DOI arXiv
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz Coalgebraic reasoning with global assumptions in arithmetic modal logics. (English) Zbl 1502.68285 ACM Trans. Comput. Log. 23, No. 2, Article No. 11, 34 p. (2022). MSC: 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{C. Kupke} et al., ACM Trans. Comput. Log. 23, No. 2, Article No. 11, 34 p. (2022; Zbl 1502.68285) Full Text: DOI arXiv
Hertling, Peter; Krommes, Gisela EXPSPACE-completeness of the logics \(K4 \times S5\) and \(S4 \times S5\) and the logic of subset spaces. (English) Zbl 1505.03053 ACM Trans. Comput. Log. 22, No. 4, Article No. 24, 71 p. (2021). MSC: 03B45 68Q17 68Q25 PDFBibTeX XMLCite \textit{P. Hertling} and \textit{G. Krommes}, ACM Trans. Comput. Log. 22, No. 4, Article No. 24, 71 p. (2021; Zbl 1505.03053) Full Text: DOI
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDFBibTeX XMLCite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI arXiv
Fan, Tuan-Fang; Liau, Churn-Jung Reason-maintenance belief logic with uncertain information. (English) Zbl 1433.03045 ACM Trans. Comput. Log. 21, No. 1, Article No. 3, 32 p. (2020). MSC: 03B42 03B52 PDFBibTeX XMLCite \textit{T.-F. Fan} and \textit{C.-J. Liau}, ACM Trans. Comput. Log. 21, No. 1, Article No. 3, 32 p. (2020; Zbl 1433.03045) Full Text: DOI
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem Probabilistic epistemic updates on algebras. (English) Zbl 1433.03043 ACM Trans. Comput. Log. 20, No. 4, Article No. 24, 75 p. (2019). MSC: 03B42 03B48 06D20 06D50 03B20 PDFBibTeX XMLCite \textit{W. Conradie} et al., ACM Trans. Comput. Log. 20, No. 4, Article No. 24, 75 p. (2019; Zbl 1433.03043) Full Text: DOI arXiv Link
Nalon, Cláudia; Dixon, Clare; Hustadt, Ullrich Modal resolution. Proofs, layers, and refinements. (English) Zbl 1433.03057 ACM Trans. Comput. Log. 20, No. 4, Article No. 23, 38 p. (2019). MSC: 03B45 03B35 PDFBibTeX XMLCite \textit{C. Nalon} et al., ACM Trans. Comput. Log. 20, No. 4, Article No. 23, 38 p. (2019; Zbl 1433.03057) Full Text: DOI
Khan, Md. Aquil; Patel, Vineeta Singh A simple modal logic for reasoning in multigranulation rough set model. (English) Zbl 1407.68485 ACM Trans. Comput. Log. 19, No. 4, Article No. 30, 23 p. (2018). MSC: 68T37 03B45 PDFBibTeX XMLCite \textit{Md. A. Khan} and \textit{V. S. Patel}, ACM Trans. Comput. Log. 19, No. 4, Article No. 30, 23 p. (2018; Zbl 1407.68485) Full Text: DOI
Dima, Catalin; Maubert, Bastien; Pinchinat, Sophie Relating paths in transition systems: the fall of the modal mu-calculus. (English) Zbl 1407.68287 ACM Trans. Comput. Log. 19, No. 3, Article No. 23, 33 p. (2018). MSC: 68Q60 03B15 03B45 68Q45 PDFBibTeX XMLCite \textit{C. Dima} et al., ACM Trans. Comput. Log. 19, No. 3, Article No. 23, 33 p. (2018; Zbl 1407.68287) Full Text: DOI
Su, Che-Ping; Fan, Tuan-Fang; Liau, Churn-Jung Possibilistic justification logic: reasoning about justified uncertain beliefs. (English) Zbl 1407.03023 ACM Trans. Comput. Log. 18, No. 2, Article No. 15, 21 p. (2017). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{C.-P. Su} et al., ACM Trans. Comput. Log. 18, No. 2, Article No. 15, 21 p. (2017; Zbl 1407.03023) Full Text: DOI
Ciabattoni, Agata; Ramanayake, Revantha Power and limits of structural display rules. (English) Zbl 1407.03067 ACM Trans. Comput. Log. 17, No. 3, Article No. 17, 39 p. (2016). MSC: 03F03 03F05 03B20 03B45 03B44 03B47 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{R. Ramanayake}, ACM Trans. Comput. Log. 17, No. 3, Article No. 17, 39 p. (2016; Zbl 1407.03067) Full Text: DOI
Michaliszyn, Jakub; Otop, Jan; Kieroński, Emanuel On the decidability of elementary modal logics. (English) Zbl 1367.03043 ACM Trans. Comput. Log. 17, No. 1, Article No. 2, 47 p. (2015). MSC: 03B45 03B25 68Q17 68Q25 PDFBibTeX XMLCite \textit{J. Michaliszyn} et al., ACM Trans. Comput. Log. 17, No. 1, Article No. 2, 47 p. (2015; Zbl 1367.03043) Full Text: DOI
Kramer, Simon Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer). (English) Zbl 1367.68282 ACM Trans. Comput. Log. 16, No. 4, Article No. 35, 32 p. (2015). MSC: 68T27 03B20 03B42 03B45 PDFBibTeX XMLCite \textit{S. Kramer}, ACM Trans. Comput. Log. 16, No. 4, Article No. 35, 32 p. (2015; Zbl 1367.68282) Full Text: DOI arXiv
Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C. Abstraction in fixpoint logic. (English) Zbl 1367.68187 ACM Trans. Comput. Log. 16, No. 4, Article No. 29, 39 p. (2015). MSC: 68Q60 03B45 03B70 PDFBibTeX XMLCite \textit{S. Cranen} et al., ACM Trans. Comput. Log. 16, No. 4, Article No. 29, 39 p. (2015; Zbl 1367.68187) Full Text: DOI
Khan, Md. Aquil; Banerjee, Mohua Logics for information systems and their dynamic extensions. (English) Zbl 1351.68267 ACM Trans. Comput. Log. 12, No. 4, Article No. 29, 36 p. (2011). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{Md. A. Khan} and \textit{M. Banerjee}, ACM Trans. Comput. Log. 12, No. 4, Article No. 29, 36 p. (2011; Zbl 1351.68267) Full Text: DOI
Nielson, Flemming; Nanz, Sebastian; Nielson, Hanne Riis Modal abstractions of concurrent behavior. (English) Zbl 1351.68185 ACM Trans. Comput. Log. 12, No. 3, Article No. 18, 40 p. (2011). MSC: 68Q85 03B70 68Q60 PDFBibTeX XMLCite \textit{F. Nielson} et al., ACM Trans. Comput. Log. 12, No. 3, Article No. 18, 40 p. (2011; Zbl 1351.68185) Full Text: DOI
Tiu, Alwen; Miller, Dale Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. (English) Zbl 1351.68186 ACM Trans. Comput. Log. 11, No. 2, Article No. 13, 35 p. (2010). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{A. Tiu} and \textit{D. Miller}, ACM Trans. Comput. Log. 11, No. 2, Article No. 13, 35 p. (2010; Zbl 1351.68186) Full Text: DOI
Rabinovich, Alexander On compositionality and its limitations. (English) Zbl 1367.68202 ACM Trans. Comput. Log. 8, No. 1, Article No. 4, 26 p. (2007). MSC: 68Q60 03B45 03C98 PDFBibTeX XMLCite \textit{A. Rabinovich}, ACM Trans. Comput. Log. 8, No. 1, Article No. 4, 26 p. (2007; Zbl 1367.68202) Full Text: DOI
McIver, Annabelle; Morgan, Carroll Results on the quantitative \(\mu\)-calculus \(qM\mu\). (English) Zbl 1367.68199 ACM Trans. Comput. Log. 8, No. 1, Article No. 3, 43 p. (2007). MSC: 68Q60 03B70 68Q55 68Q87 91A80 PDFBibTeX XMLCite \textit{A. McIver} and \textit{C. Morgan}, ACM Trans. Comput. Log. 8, No. 1, Article No. 3, 43 p. (2007; Zbl 1367.68199) Full Text: DOI
Kupferman, Orna; Vardi, Moshe Y. From linear time to branching time. (English) Zbl 1367.68195 ACM Trans. Comput. Log. 6, No. 2, 273-294 (2005). MSC: 68Q60 03B44 03B45 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{M. Y. Vardi}, ACM Trans. Comput. Log. 6, No. 2, 273--294 (2005; Zbl 1367.68195) Full Text: DOI
Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan Inflationary fixed points in modal logic. (English) Zbl 1407.03031 ACM Trans. Comput. Log. 5, No. 2, 282-315 (2004). MSC: 03B45 03B25 03D15 68Q15 PDFBibTeX XMLCite \textit{A. Dawar} et al., ACM Trans. Comput. Log. 5, No. 2, 282--315 (2004; Zbl 1407.03031) Full Text: DOI
Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo Description logics of minimal knowledge and negation as failure. (English) Zbl 1365.68403 ACM Trans. Comput. Log. 3, No. 2, 177-225 (2002). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{F. M. Donini} et al., ACM Trans. Comput. Log. 3, No. 2, 177--225 (2002; Zbl 1365.68403) Full Text: DOI