Padmanabha, Anantha; Ramanujam, R. A decidable fragment of first order modal logic: two variable term modal logic. (English) Zbl 07760990 ACM Trans. Comput. Log. 24, No. 4, Paper No. 29, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Padmanabha} and \textit{R. Ramanujam}, ACM Trans. Comput. Log. 24, No. 4, Paper No. 29, 38 p. (2023; Zbl 07760990) Full Text: DOI
Bednarczyk, Bartosz; Orłowska, Maja; Pacanowska, Anna; Tan, Tony On classical decidable logics extended with percentage quantifiers and arithmetics. (English) Zbl 07799614 Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 36, 15 p. (2021). MSC: 68N30 68Qxx PDFBibTeX XMLCite \textit{B. Bednarczyk} et al., LIPIcs -- Leibniz Int. Proc. Inform. 213, Article 36, 15 p. (2021; Zbl 07799614) Full Text: DOI arXiv
Labai, Nadia; Kotek, Tomer; Ortiz, Magdalena; Veith, Helmut Pebble-intervals automata and \(\text{FO}^2\) with two orders. (English) Zbl 1437.68100 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020). MSC: 68Q45 03B25 03B70 03D05 PDFBibTeX XMLCite \textit{N. Labai} et al., Lect. Notes Comput. Sci. 12038, 208--221 (2020; Zbl 1437.68100) Full Text: DOI arXiv
Padmanabha, Anantha; Ramanujam, R. Two variable fragment of term modal logic. (English) Zbl 07561674 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 30, 14 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Padmanabha} and \textit{R. Ramanujam}, LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 30, 14 p. (2019; Zbl 07561674) Full Text: DOI arXiv
Kieronski, Emanuel One-dimensional guarded fragments. (English) Zbl 07561660 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 16, 14 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. Kieronski}, LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 16, 14 p. (2019; Zbl 07561660) Full Text: DOI arXiv
Shtakser, Gennady Propositional epistemic logics with quantification over agents of knowledge (an alternative approach). (English) Zbl 07100701 Stud. Log. 107, No. 4, 753-780 (2019). MSC: 03B42 03B25 PDFBibTeX XMLCite \textit{G. Shtakser}, Stud. Log. 107, No. 4, 753--780 (2019; Zbl 07100701) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. (English) Zbl 07100699 Stud. Log. 107, No. 4, 695-717 (2019); correction ibid. 110, No. 2, 597–598 (2022). MSC: 03B45 03B25 03B20 PDFBibTeX XMLCite \textit{M. Rybakov} and \textit{D. Shkatov}, Stud. Log. 107, No. 4, 695--717 (2019; Zbl 07100699) Full Text: DOI arXiv
Rudolph, Sebastian; Šimkus, Mantas The triguarded fragment of first-order logic. (English) Zbl 1416.03008 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 604-619 (2018). MSC: 03B20 03B25 03B45 68T27 68Q17 PDFBibTeX XMLCite \textit{S. Rudolph} and \textit{M. Šimkus}, EPiC Ser. Comput. 57, 604--619 (2018; Zbl 1416.03008) Full Text: DOI
Kieroński, Emanuel; Tendera, Lidia Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants. (English) Zbl 1407.03009 ACM Trans. Comput. Log. 19, No. 2, Article No. 8, 34 p. (2018). MSC: 03B25 03C13 68Q25 PDFBibTeX XMLCite \textit{E. Kieroński} and \textit{L. Tendera}, ACM Trans. Comput. Log. 19, No. 2, Article No. 8, 34 p. (2018; Zbl 1407.03009) Full Text: DOI arXiv
Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian On the automated verification of web applications with embedded SQL. (English) Zbl 1402.68123 Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 16, 18 p. (2017). MSC: 68Q60 03B70 68M11 68N15 68P15 PDFBibTeX XMLCite \textit{S. Itzhaky} et al., LIPIcs -- Leibniz Int. Proc. Inform. 68, Article 16, 18 p. (2017; Zbl 1402.68123) Full Text: DOI arXiv
Kourtis, Georgios; Pratt-Hartmann, Ian Adding path-functional dependencies to the guarded two-variable fragment with counting. (English) Zbl 1459.03008 Log. Methods Comput. Sci. 13, No. 4, Paper No. 4, 39 p. (2017). MSC: 03B20 03B25 03D15 03C80 68Q25 PDFBibTeX XMLCite \textit{G. Kourtis} and \textit{I. Pratt-Hartmann}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 4, 39 p. (2017; Zbl 1459.03008) Full Text: DOI arXiv
Kotek, Tomer; Veith, Helmut; Zuleger, Florian Monadic second order finite satisfiability and unbounded tree-width. (English) Zbl 1370.03020 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 13, 20 p. (2016). MSC: 03B25 03B15 03C13 PDFBibTeX XMLCite \textit{T. Kotek} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 13, 20~p. (2016; Zbl 1370.03020) Full Text: DOI arXiv
Kufleitner, Manfred; Weil, Pascal On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages. (English) Zbl 1256.03043 Log. Methods Comput. Sci. 8, No. 3, Paper No. 11, 30 p. (2012). MSC: 03D05 03B20 03B25 68Q70 PDFBibTeX XMLCite \textit{M. Kufleitner} and \textit{P. Weil}, Log. Methods Comput. Sci. 8, No. 3, Paper No. 11, 30 p. (2012; Zbl 1256.03043) Full Text: DOI arXiv
Kieroński, Emanuel Decidability issues for two-variable logics with several linear orders. (English) Zbl 1247.03014 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 337-351, electronic only (2011). MSC: 03B25 PDFBibTeX XMLCite \textit{E. Kieroński}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 337--351 (2011; Zbl 1247.03014) Full Text: DOI Link
Pratt-Hartmann, Ian The two-variable fragment with counting revisited. (English) Zbl 1305.68103 Dawar, Anuj (ed.) et al., Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6–9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13823-2/pbk). Lecture Notes in Computer Science 6188. Lecture Notes in Artificial Intelligence, 42-54 (2010). MSC: 68Q25 03B20 03C80 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, Lect. Notes Comput. Sci. 6188, 42--54 (2010; Zbl 1305.68103) Full Text: DOI
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. (English) Zbl 1221.03022 Ann. Pure Appl. Logic 161, No. 3, 289-304 (2009). MSC: 03B70 03B25 03B44 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Ann. Pure Appl. Logic 161, No. 3, 289--304 (2009; Zbl 1221.03022) Full Text: DOI
Pratt-Hartmann, Ian Data-complexity of the two-variable fragment with counting quantifiers. (English) Zbl 1183.68254 Inf. Comput. 207, No. 8, 867-888 (2009). MSC: 68P15 68P05 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, Inf. Comput. 207, No. 8, 867--888 (2009; Zbl 1183.68254) Full Text: DOI
Pratt-Hartmann, Ian Complexity of the guarded two-variable fragment with counting quantifiers. (English) Zbl 1118.03006 J. Log. Comput. 17, No. 1, 133-155 (2007). MSC: 03B20 03B25 03D15 03C80 68Q25 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, J. Log. Comput. 17, No. 1, 133--155 (2007; Zbl 1118.03006) Full Text: DOI arXiv
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael Undecidability of first-order intuitionistic and modal logics with two variables. (English) Zbl 1096.03008 Bull. Symb. Log. 11, No. 3, 428-438 (2005). MSC: 03B25 03B20 03B45 PDFBibTeX XMLCite \textit{R. Kontchakov} et al., Bull. Symb. Log. 11, No. 3, 428--438 (2005; Zbl 1096.03008) Full Text: DOI Link
Pratt-Hartmann, Ian Complexity of the two-variable fragment with counting quantifiers. (English) Zbl 1082.03007 J. Logic Lang. Inf. 14, No. 3, 369-395 (2005). MSC: 03B20 03B25 03D15 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, J. Logic Lang. Inf. 14, No. 3, 369--395 (2005; Zbl 1082.03007) Full Text: DOI
Berwanger, Dietmar Game logic is strong enough for parity games. (English) Zbl 1046.03017 Stud. Log. 75, No. 2, 205-219 (2003). Reviewer: Benedikt Löwe (Amsterdam) MSC: 03B80 03B45 68Q60 03B70 03D70 PDFBibTeX XMLCite \textit{D. Berwanger}, Stud. Log. 75, No. 2, 205--219 (2003; Zbl 1046.03017) Full Text: DOI
Pratt-Hartmann, Ian A two-variable fragment of English. (English) Zbl 1012.03038 J. Logic Lang. Inf. 12, No. 1, 13-45 (2003). MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, J. Logic Lang. Inf. 12, No. 1, 13--45 (2003; Zbl 1012.03038) Full Text: DOI
Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei Equality and monodic first-order temporal logic. (English) Zbl 1011.03007 Stud. Log. 72, No. 2, 147-156 (2002). MSC: 03B44 PDFBibTeX XMLCite \textit{A. Degtyarev} et al., Stud. Log. 72, No. 2, 147--156 (2002; Zbl 1011.03007) Full Text: DOI
Otto, Martin Two variable first-order logic over ordered domains. (English) Zbl 0990.03005 J. Symb. Log. 66, No. 2, 685-702 (2001). MSC: 03B25 03B20 03D15 68Q25 PDFBibTeX XMLCite \textit{M. Otto}, J. Symb. Log. 66, No. 2, 685--702 (2001; Zbl 0990.03005) Full Text: DOI
Tobies, Stephan A NExpTime-complete description logic strictly contained in \(C^2\). (English) Zbl 0944.03024 Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 292-306 (1999). MSC: 03B70 68T27 03D15 68T30 03B20 PDFBibTeX XMLCite \textit{S. Tobies}, Lect. Notes Comput. Sci. 1683, 292--306 (1999; Zbl 0944.03024)
Marx, Maarten; Mikulás, Szabolcs; Schlobach, Stefan Tableau calculus for local cubic modal logic and its implementation. (English) Zbl 0939.03025 Log. J. IGPL 7, No. 6, 755-778 (1999). MSC: 03B45 03B35 68T15 PDFBibTeX XMLCite \textit{M. Marx} et al., Log. J. IGPL 7, No. 6, 755--778 (1999; Zbl 0939.03025) Full Text: DOI Link