Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Tuyt, Olim One-variable fragments of intermediate logics over linear frames. (English) Zbl 07540277 Inf. Comput. 287, Article ID 104755, 20 p. (2022). MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{X. Caicedo} et al., Inf. Comput. 287, Article ID 104755, 20 p. (2022; Zbl 07540277) Full Text: DOI
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI
Wałęga, Przemysław Andrzej; Zawidzki, Michał Subject-oriented spatial logic. (English) Zbl 1518.68368 Inf. Comput. 280, Article ID 104643, 15 p. (2021). MSC: 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{P. A. Wałęga} and \textit{M. Zawidzki}, Inf. Comput. 280, Article ID 104643, 15 p. (2021; Zbl 1518.68368) Full Text: DOI Link
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B. Arrow update synthesis. (English) Zbl 1496.68326 Inf. Comput. 275, Article ID 104544, 29 p. (2020). MSC: 68T27 03B42 03B45 68Q42 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Inf. Comput. 275, Article ID 104544, 29 p. (2020; Zbl 1496.68326) Full Text: DOI arXiv HAL
Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie Logical vs. behavioural specifications. (English) Zbl 1435.68189 Inf. Comput. 271, Article ID 104487, 24 p. (2020). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{N. Beneš} et al., Inf. Comput. 271, Article ID 104487, 24 p. (2020; Zbl 1435.68189) Full Text: DOI HAL
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G. Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. (English) Zbl 1436.03120 Inf. Comput. 266, 97-125 (2019). MSC: 03B44 03B25 03B45 68Q17 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Inf. Comput. 266, 97--125 (2019; Zbl 1436.03120) Full Text: DOI Link
Areces, Carlos; van Ditmarsch, Hans; Fervari, Raul; Schwarzentruber, François The modal logic of copy and remove. (English) Zbl 1373.03044 Inf. Comput. 255, Part 2, 243-261 (2017). MSC: 03B70 03B42 03B45 PDFBibTeX XMLCite \textit{C. Areces} et al., Inf. Comput. 255, Part 2, 243--261 (2017; Zbl 1373.03044) Full Text: DOI HAL
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y. Pushdown module checking with imperfect information. (English) Zbl 1282.68166 Inf. Comput. 223, 1-17 (2013). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{B. Aminof} et al., Inf. Comput. 223, 1--17 (2013; Zbl 1282.68166) Full Text: DOI
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří EXPTIME-completeness of thorough refinement on modal transition systems. (English) Zbl 1282.68118 Inf. Comput. 218, 54-68 (2012). MSC: 68Q17 68Q60 PDFBibTeX XMLCite \textit{N. Beneš} et al., Inf. Comput. 218, 54--68 (2012; Zbl 1282.68118) Full Text: DOI
Hague, M.; Ong, C.-H. L. A saturation method for the modal \(\mu \)-calculus over pushdown systems. (English) Zbl 1215.68151 Inf. Comput. 209, No. 5, 799-821 (2011). MSC: 68Q85 03B40 68Q60 PDFBibTeX XMLCite \textit{M. Hague} and \textit{C. H. L. Ong}, Inf. Comput. 209, No. 5, 799--821 (2011; Zbl 1215.68151) Full Text: DOI
Gutierrez, Julian; Bradfield, Julian Model-checking games for fixpoint logics with partial order models. (English) Zbl 1215.68149 Inf. Comput. 209, No. 5, 766-781 (2011). MSC: 68Q85 03B44 68Q60 91A80 PDFBibTeX XMLCite \textit{J. Gutierrez} and \textit{J. Bradfield}, Inf. Comput. 209, No. 5, 766--781 (2011; Zbl 1215.68149) Full Text: DOI
Ploeger, B.; Wesselink, J. W.; Willemse, T. A. C. Verification of reactive systems via instantiation of parameterised Boolean equation systems. (English) Zbl 1215.68133 Inf. Comput. 209, No. 4, 637-663 (2011). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Ploeger} et al., Inf. Comput. 209, No. 4, 637--663 (2011; Zbl 1215.68133) Full Text: DOI
Wei, Ou; Gurfinkel, Arie; Chechik, Marsha On the consistency, expressiveness, and precision of partial modeling formalisms. (English) Zbl 1214.68226 Inf. Comput. 209, No. 1, 20-47 (2011). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{O. Wei} et al., Inf. Comput. 209, No. 1, 20--47 (2011; Zbl 1214.68226) Full Text: DOI
Zhan, Naijun; Majster-Cederbaum, Mila On hierarchically developing reactive systems. (English) Zbl 1197.93080 Inf. Comput. 208, No. 9, 997-1019 (2010). MSC: 93B51 93A13 PDFBibTeX XMLCite \textit{N. Zhan} and \textit{M. Majster-Cederbaum}, Inf. Comput. 208, No. 9, 997--1019 (2010; Zbl 1197.93080) Full Text: DOI
Renne, Bryan Propositional games with explicit strategies. (English) Zbl 1207.03027 Inf. Comput. 207, No. 10, 1015-1043 (2009). MSC: 03B45 03F45 91A05 91A80 PDFBibTeX XMLCite \textit{B. Renne}, Inf. Comput. 207, No. 10, 1015--1043 (2009; Zbl 1207.03027) Full Text: DOI
Gurov, Dilian; Huisman, Marieke; Sprenger, Christoph Compositional verification of sequential programs with procedures. (English) Zbl 1153.68036 Inf. Comput. 206, No. 7, 840-868 (2008). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{D. Gurov} et al., Inf. Comput. 206, No. 7, 840--868 (2008; Zbl 1153.68036) Full Text: DOI
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. (English) Zbl 1098.03048 Inf. Comput. 204, No. 10, 1413-1452 (2006). MSC: 03D40 03B25 03B45 PDFBibTeX XMLCite \textit{F. Baader} et al., Inf. Comput. 204, No. 10, 1413--1452 (2006; Zbl 1098.03048) Full Text: DOI
Lange, Martin The alternation hierarchy in fixpoint logic with chop is strict too. (English) Zbl 1106.03025 Inf. Comput. 204, No. 9, 1346-1367 (2006). MSC: 03B70 03B45 91A80 68Q60 PDFBibTeX XMLCite \textit{M. Lange}, Inf. Comput. 204, No. 9, 1346--1367 (2006; Zbl 1106.03025) Full Text: DOI
Moss, Lawrence S.; Viglizzo, Ignacio D. Final coalgebras for functors on measurable spaces. (English) Zbl 1103.68084 Inf. Comput. 204, No. 4, 610-636 (2006). MSC: 68Q85 03B45 03G30 18B99 28A05 68Q55 68Q60 PDFBibTeX XMLCite \textit{L. S. Moss} and \textit{I. D. Viglizzo}, Inf. Comput. 204, No. 4, 610--636 (2006; Zbl 1103.68084) Full Text: DOI
Miculan, Marino On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 1007.03032 Inf. Comput. 164, No. 1, 199-231 (2001). MSC: 03B70 68Q60 03B35 68T15 03B45 03D70 PDFBibTeX XMLCite \textit{M. Miculan}, Inf. Comput. 164, No. 1, 199--231 (2001; Zbl 1007.03032) Full Text: DOI
Giunchiglia, Fausto; Sebastiani, Roberto Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (English) Zbl 1033.03509 Inf. Comput. 162, No. 1-2, 158-178 (2000). MSC: 03B45 03B35 68T15 03B25 PDFBibTeX XMLCite \textit{F. Giunchiglia} and \textit{R. Sebastiani}, Inf. Comput. 162, No. 1--2, 158--178 (2000; Zbl 1033.03509) Full Text: DOI
Walukiewicz, Igor Completeness of Kozen’s axiomatisation of the propositional \(\mu\)-calculus. (English) Zbl 1046.68628 Inf. Comput. 157, No. 1-2, 142-182 (2000). MSC: 68Q85 03B70 68Q60 03B45 PDFBibTeX XMLCite \textit{I. Walukiewicz}, Inf. Comput. 157, No. 1--2, 142--182 (2000; Zbl 1046.68628) Full Text: DOI Link
Rabinovich, Alexander Expressive completeness of duration calculus. (English) Zbl 1046.68606 Inf. Comput. 156, No. 1-2, 320-344 (2000). MSC: 68Q60 03B70 03B45 PDFBibTeX XMLCite \textit{A. Rabinovich}, Inf. Comput. 156, No. 1--2, 320--344 (2000; Zbl 1046.68606) Full Text: DOI Link
van der Meyden, Ron Common knowledge and update in finite environments. (English) Zbl 0892.68035 Inf. Comput. 140, No. 2, 115-157 (1998). MSC: 68Q10 68T27 03B45 PDFBibTeX XMLCite \textit{R. van der Meyden}, Inf. Comput. 140, No. 2, 115--157 (1998; Zbl 0892.68035) Full Text: DOI
Ben-Eliyahu, Rachel; Magidor, Menachem A temporal logic for proving properties of topologically general executions. (English) Zbl 0861.03024 Inf. Comput. 124, No. 2, 127-144 (1996). Reviewer: M.Gabbrielli (Pisa) MSC: 03B70 03B45 68Q60 68Q10 54E52 PDFBibTeX XMLCite \textit{R. Ben-Eliyahu} and \textit{M. Magidor}, Inf. Comput. 124, No. 2, 127--144 (1996; Zbl 0861.03024) Full Text: DOI
Sistla, A. Prasad; Zuck, Lenore D. Reasoning in a restricted temporal logic. (English) Zbl 0771.03007 Inf. Comput. 102, No. 2, 167-195 (1993). MSC: 03B45 68Q60 03B70 68T15 68Q10 PDFBibTeX XMLCite \textit{A. P. Sistla} and \textit{L. D. Zuck}, Inf. Comput. 102, No. 2, 167--195 (1993; Zbl 0771.03007) Full Text: DOI
Stomp, F. A.; de Roever, W. P.; Gerth, R. T. The \(\mu\)-calculus as an assertion-language for fairness arguments. (English) Zbl 0678.68010 Inf. Comput. 82, No. 3, 278-322 (1989). MSC: 68Q60 68Q65 03B45 03B70 68N01 PDFBibTeX XMLCite \textit{F. A. Stomp} et al., Inf. Comput. 82, No. 3, 278--322 (1989; Zbl 0678.68010) Full Text: DOI