Kurucz, Agi; Ryzhikov, Vladislav; Savateev, Yury; Zakharyaschev, Michael Deciding FO-rewritability of regular languages and ontology-mediated queries in linear temporal logic. (English) Zbl 07732093 J. Artif. Intell. Res. (JAIR) 76, 645-703 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Kurucz} et al., J. Artif. Intell. Res. (JAIR) 76, 645--703 (2023; Zbl 07732093) Full Text: DOI arXiv
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. (English) Zbl 07639820 J. Artif. Intell. Res. (JAIR) 75, 1223-1291 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Artale} et al., J. Artif. Intell. Res. (JAIR) 75, 1223--1291 (2022; Zbl 07639820) Full Text: DOI arXiv
Mansutti, Alessio An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning. (English) Zbl 1506.03077 Inf. Comput. 285, Part B, Article ID 104911, 43 p. (2022). MSC: 03B70 03B45 68Q17 PDFBibTeX XMLCite \textit{A. Mansutti}, Inf. Comput. 285, Part B, Article ID 104911, 43 p. (2022; Zbl 1506.03077) Full Text: DOI
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 1520.68182 Artif. Intell. 299, Article ID 103536, 30 p. (2021). MSC: 68T27 03B44 68T30 PDFBibTeX XMLCite \textit{A. Artale} et al., Artif. Intell. 299, Article ID 103536, 30 p. (2021; Zbl 1520.68182) Full Text: DOI arXiv
Mansutti, Alessio An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning. (English) Zbl 1506.03076 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 462-481 (2020). MSC: 03B70 03B45 68Q17 PDFBibTeX XMLCite \textit{A. Mansutti}, Lect. Notes Comput. Sci. 12077, 462--481 (2020; Zbl 1506.03076) Full Text: DOI
Meier, Arne; Ordyniak, Sebastian; Ramanujan, M. S.; Schindler, Irena Backdoors for linear temporal logic. (English) Zbl 1411.68050 Algorithmica 81, No. 2, 476-496 (2019). MSC: 68Q25 03B44 68Q17 PDFBibTeX XMLCite \textit{A. Meier} et al., Algorithmica 81, No. 2, 476--496 (2019; Zbl 1411.68050) Full Text: DOI
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido On sub-propositional fragments of modal logic. (English) Zbl 1453.03016 Log. Methods Comput. Sci. 14, No. 2, Paper No. 16, 35 p. (2018). MSC: 03B45 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Log. Methods Comput. Sci. 14, No. 2, Paper No. 16, 35 p. (2018; Zbl 1453.03016) Full Text: DOI arXiv
Triska, Jan; Vychodil, Vilem Logic of temporal attribute implications. (English) Zbl 1409.68283 Ann. Math. Artif. Intell. 79, No. 4, 307-335 (2017). MSC: 68T27 68Q25 68T30 PDFBibTeX XMLCite \textit{J. Triska} and \textit{V. Vychodil}, Ann. Math. Artif. Intell. 79, No. 4, 307--335 (2017; Zbl 1409.68283) Full Text: DOI arXiv
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido On the expressive power of sub-propositional fragments of modal logic. (English) Zbl 1478.03034 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 91-104 (2016). MSC: 03B45 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 91--104 (2016; Zbl 1478.03034) Full Text: arXiv Link
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido Sub-propositional fragments of the interval temporal logic of Allen’s relations. (English) Zbl 1432.03028 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 122-136 (2014). MSC: 03B44 68T27 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Lect. Notes Comput. Sci. 8761, 122--136 (2014; Zbl 1432.03028) Full Text: DOI