Madhusudan, P.; Mathur, Umang; Saha, Shambwaditya; Viswanathan, Mahesh A decidable fragment of second order logic with applications to synthesis. (English) Zbl 1528.03093 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 31, 19 p. (2018). MSC: 03B25 03B16 68Q60 PDFBibTeX XMLCite \textit{P. Madhusudan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 31, 19 p. (2018; Zbl 1528.03093) Full Text: DOI arXiv
Ferrarotti, Flavio; Van den Bussche, Jan; Virtema, Jonni Expressivity within second-order transitive-closure logic. (English) Zbl 1528.68141 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 22, 18 p. (2018). MSC: 68Q19 03B16 03C13 PDFBibTeX XMLCite \textit{F. Ferrarotti} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 22, 18 p. (2018; Zbl 1528.68141) Full Text: DOI arXiv
Hague, Matthew; Meyer, Roland; Muskalla, Sebastian; Zimmermann, Martin Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 1512.68154 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018). MSC: 68Q60 68Q25 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{M. Hague} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018; Zbl 1512.68154) Full Text: DOI arXiv
Nanjo, Yoji; Unno, Hiroshi; Koskinen, Eric; Terauchi, Tachio A fixpoint logic and dependent effects for temporal property verification. (English) Zbl 1497.68317 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 759-768 (2018). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{Y. Nanjo} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 759--768 (2018; Zbl 1497.68317) Full Text: DOI
Kerjean, Marie A logical account for linear partial differential equations. (English) Zbl 1452.03135 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 589-598 (2018). MSC: 03F52 18C50 35G05 PDFBibTeX XMLCite \textit{M. Kerjean}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 589--598 (2018; Zbl 1452.03135) Full Text: DOI
Douéneau-Tabot, Gaëtan; Pinchinat, Sophie; Schwarzentruber, François Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis. (English) Zbl 1418.03032 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 237-256 (2018). MSC: 03B15 03B42 PDFBibTeX XMLCite \textit{G. Douéneau-Tabot} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 237--256 (2018; Zbl 1418.03032)
Džamonja, Mirna; Väänänen, Jouko Some strong logics within combinatorial set theory and the logic of chains. (English) Zbl 1438.03011 Sarajevo J. Math. 14(27), No. 2, 133-141 (2018). MSC: 03C75 03C55 03C80 03C85 03E05 03E55 03E75 PDFBibTeX XMLCite \textit{M. Džamonja} and \textit{J. Väänänen}, Sarajevo J. Math. 14(27), No. 2, 133--141 (2018; Zbl 1438.03011)
van de Pol, Iris; van Rooij, Iris; Szymanik, Jakub Parameterized complexity of theory of mind reasoning in dynamic epistemic logic. (English) Zbl 1509.03067 J. Logic Lang. Inf. 27, No. 3, 255-294 (2018). MSC: 03B42 68Q27 PDFBibTeX XMLCite \textit{I. van de Pol} et al., J. Logic Lang. Inf. 27, No. 3, 255--294 (2018; Zbl 1509.03067) Full Text: DOI
Hazen, Allen P.; Pelletier, Francis Jeffry Second-order logic of paradox. (English) Zbl 1455.03032 Notre Dame J. Formal Logic 59, No. 4, 547-558 (2018). MSC: 03B53 03B16 03B50 PDFBibTeX XMLCite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Notre Dame J. Formal Logic 59, No. 4, 547--558 (2018; Zbl 1455.03032) Full Text: DOI Euclid Link
Hazen, Allen P.; Pelletier, Francis Jeffry Pecularities of some three- and four-valued second order logics. (English) Zbl 1405.03060 Log. Univers. 12, No. 3-4, 493-509 (2018). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B15 03B53 03B62 PDFBibTeX XMLCite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Log. Univers. 12, No. 3--4, 493--509 (2018; Zbl 1405.03060) Full Text: DOI
Casullo, Albert Pollock and Sturgeon on defeaters. (English) Zbl 1398.03014 Synthese 195, No. 7, 2897-2906 (2018). MSC: 03A05 03B42 PDFBibTeX XMLCite \textit{A. Casullo}, Synthese 195, No. 7, 2897--2906 (2018; Zbl 1398.03014) Full Text: DOI Link
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
Hague, Matthew; Penelle, Vincent Constrained dynamic tree networks. (English) Zbl 1515.68207 Potapov, Igor (ed.) et al., Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11123, 45-58 (2018). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Hague} and \textit{V. Penelle}, Lect. Notes Comput. Sci. 11123, 45--58 (2018; Zbl 1515.68207) Full Text: DOI
Rahman, Shahid; McConaughey, Zoe; Klev, Ansten; Clerbout, Nicolas Immanent reasoning or equality in action. A plaidoyer for the play level. (English) Zbl 1403.03003 Logic, Argumentation & Reasoning 18. Cham: Springer (ISBN 978-3-319-91148-9/hbk; 978-3-319-91149-6/ebook). xx, 332 p. (2018). MSC: 03-02 03B15 03B42 03B60 PDFBibTeX XMLCite \textit{S. Rahman} et al., Immanent reasoning or equality in action. A plaidoyer for the play level. Cham: Springer (2018; Zbl 1403.03003) Full Text: DOI
Fernández-Duque, David; Joosten, Joost J. The omega-rule interpretation of transfinite provability logic. (English) Zbl 1429.03211 Ann. Pure Appl. Logic 169, No. 4, 333-371 (2018). Reviewer: Emil Jeřábek (Praha) MSC: 03F45 03F35 03B45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{J. J. Joosten}, Ann. Pure Appl. Logic 169, No. 4, 333--371 (2018; Zbl 1429.03211) Full Text: DOI arXiv Link
Guerrieri, Giulio Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version). arXiv:1812.10799 Preprint, arXiv:1812.10799 [cs.LO] (2018). MSC: 03B47 03B70 03B40 68N18 03B15 BibTeX Cite \textit{G. Guerrieri}, ``Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)'', Preprint, arXiv:1812.10799 [cs.LO] (2018) Full Text: arXiv OA License
Lundfall, Martin A diagram model of linear dependent type theory. arXiv:1806.09593 Preprint, arXiv:1806.09593 [math.LO] (2018). MSC: 03B15 03B47 BibTeX Cite \textit{M. Lundfall}, ``A diagram model of linear dependent type theory'', Preprint, arXiv:1806.09593 [math.LO] (2018) Full Text: arXiv OA License
Pistone, Paolo Proof nets and the instantiation overflow property. arXiv:1803.09297 Preprint, arXiv:1803.09297 [cs.LO] (2018). MSC: 03F03 03F52 03B15 BibTeX Cite \textit{P. Pistone}, ``Proof nets and the instantiation overflow property'', Preprint, arXiv:1803.09297 [cs.LO] (2018) Full Text: arXiv OA License