Cristiá, Maximiliano; Rossi, Gianfranco A decision procedure for a theory of finite sets with finite integer intervals. (English) Zbl 07807741 ACM Trans. Comput. Log. 25, No. 1, Paper No. 3, 34 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Cristiá} and \textit{G. Rossi}, ACM Trans. Comput. Log. 25, No. 1, Paper No. 3, 34 p. (2023; Zbl 07807741) Full Text: DOI arXiv
Cleaveland, Rance; Keiren, Jeroen J. A. Extensible proof systems for infinite-state systems. (English) Zbl 07807740 ACM Trans. Comput. Log. 25, No. 1, Paper No. 2, 60 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. Cleaveland} and \textit{J. J. A. Keiren}, ACM Trans. Comput. Log. 25, No. 1, Paper No. 2, 60 p. (2023; Zbl 07807740) Full Text: DOI arXiv OA License
van Glabbeek, Rob Comparing the expressiveness of the \(\pi \)-calculus and CCS. (English) Zbl 07807739 ACM Trans. Comput. Log. 25, No. 1, Paper No. 1, 58 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. van Glabbeek}, ACM Trans. Comput. Log. 25, No. 1, Paper No. 1, 58 p. (2023; Zbl 07807739) Full Text: DOI
Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana; Wolter, Frank Living without Beth and Craig: definitions and interpolants in description and modal logics with nominals and role inclusions. (English) Zbl 07760995 ACM Trans. Comput. Log. 24, No. 4, Paper No. 34, 51 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Artale} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 34, 51 p. (2023; Zbl 07760995) Full Text: DOI arXiv OA License
Aamer, Heba; Bogaerts, Bart; Surinx, Dimitri; Ternovska, Eugenia; Van den Bussche, Jan Inputs, outputs, and composition in the logic of information flows. (English) Zbl 07760994 ACM Trans. Comput. Log. 24, No. 4, Paper No. 33, 44 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{H. Aamer} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 33, 44 p. (2023; Zbl 07760994) Full Text: DOI arXiv
Cai, Shaowei; Li, Bohan; Zhang, Xindi Local search for satisfiability modulo Integer arithmetic theories. (English) Zbl 07760993 ACM Trans. Comput. Log. 24, No. 4, Paper No. 32, 26 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Cai} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 32, 26 p. (2023; Zbl 07760993) Full Text: DOI arXiv
Bryant, Randal E.; Heule, Marijn J. H. Generating extended resolution proofs with a BDD-based SAT solver. (English) Zbl 07760992 ACM Trans. Comput. Log. 24, No. 4, Paper No. 31, 28 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. E. Bryant} and \textit{M. J. H. Heule}, ACM Trans. Comput. Log. 24, No. 4, Paper No. 31, 28 p. (2023; Zbl 07760992) Full Text: DOI
Schirrmacher, Nicole; Siebertz, Sebastian; Vigny, Alexandre First-order logic with connectivity operators. (English) Zbl 07760991 ACM Trans. Comput. Log. 24, No. 4, Paper No. 30, 23 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{N. Schirrmacher} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 30, 23 p. (2023; Zbl 07760991) Full Text: DOI arXiv
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
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak; Naso, Chiara Interpolation results for arrays with length and maxdiff. (English) Zbl 07760989 ACM Trans. Comput. Log. 24, No. 4, Paper No. 28, 33 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Ghilardi} et al., ACM Trans. Comput. Log. 24, No. 4, Paper No. 28, 33 p. (2023; Zbl 07760989) Full Text: DOI
Liberatore, Paolo Mixed iterated revisions: rationale, algorithms, and complexity. (English) Zbl 07713588 ACM Trans. Comput. Log. 24, No. 3, Paper No. 27, 49 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Liberatore}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 27, 49 p. (2023; Zbl 07713588) Full Text: DOI
Mahmood, Yasir; Meier, Arne; Schmidt, Johannes Parameterized complexity of logic-based argumentation in Schaefer’s framework. (English) Zbl 07713587 ACM Trans. Comput. Log. 24, No. 3, Paper No. 26, 25 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{Y. Mahmood} et al., ACM Trans. Comput. Log. 24, No. 3, Paper No. 26, 25 p. (2023; Zbl 07713587) Full Text: DOI arXiv
Adler, Isolde; Fahey, Polly Faster property testers in a variation of the bounded degree model. (English) Zbl 07713586 ACM Trans. Comput. Log. 24, No. 3, Paper No. 25, 24 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{I. Adler} and \textit{P. Fahey}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 25, 24 p. (2023; Zbl 07713586) Full Text: DOI arXiv
Bozzelli, Laura; Montanari, Angelo; Peron, Adriano Interval temporal logic for visibly pushdown systems. (English) Zbl 07713585 ACM Trans. Comput. Log. 24, No. 3, Paper No. 24, 32 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Bozzelli} et al., ACM Trans. Comput. Log. 24, No. 3, Paper No. 24, 32 p. (2023; Zbl 07713585) Full Text: DOI
Torán, Jacobo; Wörz, Florian Number of variables for graph differentiation and the resolution of graph isomorphism formulas. (English) Zbl 07713584 ACM Trans. Comput. Log. 24, No. 3, Paper No. 23, 25 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Torán} and \textit{F. Wörz}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 23, 25 p. (2023; Zbl 07713584) Full Text: DOI
Bergstra, Jan A.; Tucker, John V. Eager equality for rational number arithmetic. (English) Zbl 07713583 ACM Trans. Comput. Log. 24, No. 3, Paper No. 22, 28 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 22, 28 p. (2023; Zbl 07713583) Full Text: DOI
Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe Reasoning about quality and fuzziness of strategic behaviors. (English) Zbl 07713582 ACM Trans. Comput. Log. 24, No. 3, Paper No. 21, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Bouyer} et al., ACM Trans. Comput. Log. 24, No. 3, Paper No. 21, 38 p. (2023; Zbl 07713582) Full Text: DOI arXiv
Atserias, Albert; Lauria, Massimo Circular (yet sound) proofs in propositional logic. (English) Zbl 07713581 ACM Trans. Comput. Log. 24, No. 3, Paper No. 20, 26 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Atserias} and \textit{M. Lauria}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 20, 26 p. (2023; Zbl 07713581) Full Text: DOI
Takagi, Tsubasa Semantic analysis of a linear temporal extension of quantum logic and its dynamic aspect. (English) Zbl 07713580 ACM Trans. Comput. Log. 24, No. 3, Paper No. 19, 21 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Takagi}, ACM Trans. Comput. Log. 24, No. 3, Paper No. 19, 21 p. (2023; Zbl 07713580) Full Text: DOI
Aravanis, Theofanis Generalizing Parikh’s criterion for relevance-sensitive belief revision. (English) Zbl 07672677 ACM Trans. Comput. Log. 24, No. 2, Paper No. 18, 29 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Aravanis}, ACM Trans. Comput. Log. 24, No. 2, Paper No. 18, 29 p. (2023; Zbl 07672677) Full Text: DOI
Baxter, James; Cavalcanti, Ana; Gazda, Maciej; Hierons, Robert M. Testing using CSP models: time, inputs, and outputs. (English) Zbl 07672676 ACM Trans. Comput. Log. 24, No. 2, Paper No. 17, 40 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Baxter} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 17, 40 p. (2023; Zbl 07672676) Full Text: DOI
Benedikt, Michael; Kikot, Stanislav; Ostropolski-Nalewaja, Piotr; Romero, Miguel On monotonic determinacy and rewritability for recursive queries and views. (English) Zbl 07672675 ACM Trans. Comput. Log. 24, No. 2, Paper No. 16, 62 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Benedikt} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 16, 62 p. (2023; Zbl 07672675) Full Text: DOI arXiv
Wang, Yisong; Eiter, Thomas; Zhang, Yuanlin; Lin, Fangzhen Witnesses for answer sets of logic programs. (English) Zbl 07672674 ACM Trans. Comput. Log. 24, No. 2, Paper No. 15, 46 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{Y. Wang} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 15, 46 p. (2023; Zbl 07672674) Full Text: DOI
Ghilezan, Silvia; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko Precise subtyping for asynchronous multiparty sessions. (English) Zbl 07672673 ACM Trans. Comput. Log. 24, No. 2, Paper No. 14, 73 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Ghilezan} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 14, 73 p. (2023; Zbl 07672673) Full Text: DOI arXiv
Greco, Giuseppe; Palmigiano, Alessandra Linear logic properly displayed. (English) Zbl 07672672 ACM Trans. Comput. Log. 24, No. 2, Paper No. 13, 56 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{G. Greco} and \textit{A. Palmigiano}, ACM Trans. Comput. Log. 24, No. 2, Paper No. 13, 56 p. (2023; Zbl 07672672) Full Text: DOI arXiv
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio On composing finite forests with modal logics. (English) Zbl 07672671 ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. Bednarczyk} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023; Zbl 07672671) Full Text: DOI
Konovalov, Aleksandr A generalized realizability and intuitionistic logic. (English) Zbl 07672670 ACM Trans. Comput. Log. 24, No. 2, Paper No. 11, 15 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Konovalov}, ACM Trans. Comput. Log. 24, No. 2, Paper No. 11, 15 p. (2023; Zbl 07672670) Full Text: DOI arXiv
Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena; Peitl, Tomáš Hardness characterisations and size-width lower bounds for QBF resolution. (English) Zbl 07672669 ACM Trans. Comput. Log. 24, No. 2, Paper No. 10, 30 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{O. Beyersdorff} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 10, 30 p. (2023; Zbl 07672669) Full Text: DOI
Aameri, Bahar; Grüninger, Michael Reducible theories and amalgamations of models. (English) Zbl 07650605 ACM Trans. Comput. Log. 24, No. 1, Paper No. 9, 24 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. Aameri} and \textit{M. Grüninger}, ACM Trans. Comput. Log. 24, No. 1, Paper No. 9, 24 p. (2023; Zbl 07650605) Full Text: DOI
Filmus, Yuval; Mahajan, Meena; Sood, Gaurav; Vinyals, Marc MaxSAT resolution and subcube sums. (English) Zbl 07650604 ACM Trans. Comput. Log. 24, No. 1, Paper No. 8, 27 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{Y. Filmus} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 8, 27 p. (2023; Zbl 07650604) Full Text: DOI
Vukmirović, Petar; Blanchette, Jasmin; Heule, Marijn J. H. SAT-inspired eliminations for superposition. (English) Zbl 07650603 ACM Trans. Comput. Log. 24, No. 1, Paper No. 7, 25 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Vukmirović} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 7, 25 p. (2023; Zbl 07650603) Full Text: DOI
Grohe, Martin; Neuen, Daniel Canonisation and definability for graphs of bounded rank width. (English) Zbl 07650602 ACM Trans. Comput. Log. 24, No. 1, Paper No. 6, 31 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Grohe} and \textit{D. Neuen}, ACM Trans. Comput. Log. 24, No. 1, Paper No. 6, 31 p. (2023; Zbl 07650602) Full Text: DOI arXiv
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby; Zhuk, Dmitriy The complexity of quantified constraints: collapsibility, switchability, and the algebraic formulation. (English) Zbl 07650601 ACM Trans. Comput. Log. 24, No. 1, Paper No. 5, 26 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Carvalho} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 5, 26 p. (2023; Zbl 07650601) Full Text: DOI arXiv
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio Good-for-game QPTL: an alternating hodges semantics. (English) Zbl 07650600 ACM Trans. Comput. Log. 24, No. 1, Paper No. 4, 57 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Bellier} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 4, 57 p. (2023; Zbl 07650600) Full Text: DOI arXiv
Blondin, Michael; Leys, Tim; Mazowiecki, Filip; Offtermatt, Philip; Pérez, Guillermo Continuous one-counter automata. (English) Zbl 07650599 ACM Trans. Comput. Log. 24, No. 1, Paper No. 3, 31 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Blondin} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 3, 31 p. (2023; Zbl 07650599) Full Text: DOI arXiv
Khan, Md. Aquil; Banerjee, Mohua; Panda, Sibsankar Logics for temporal information systems in rough set theory. (English) Zbl 07650598 ACM Trans. Comput. Log. 24, No. 1, Paper No. 2, 29 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{Md. A. Khan} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 2, 29 p. (2023; Zbl 07650598) Full Text: DOI
Matheja, Christoph; Pagel, Jens; Zuleger, Florian A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions. (English) Zbl 07650597 ACM Trans. Comput. Log. 24, No. 1, Paper No. 1, 76 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Matheja} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 1, 76 p. (2023; Zbl 07650597) Full Text: DOI arXiv
Hu, Jason Z. S.; Pientka, Brigitte; Schöpp, Ulrich A category theoretic view of contextual types: from simple types to dependent types. (English) Zbl 1505.03031 ACM Trans. Comput. Log. 23, No. 4, Article No. 25, 36 p. (2022). MSC: 03B38 03B40 03B45 18F20 18N45 PDFBibTeX XMLCite \textit{J. Z. S. Hu} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 25, 36 p. (2022; Zbl 1505.03031) Full Text: DOI arXiv
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
Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? (English) Zbl 1508.68239 ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022; Zbl 1508.68239) Full Text: DOI arXiv
Enqvist, Sebastian; Goranko, Valentin The temporal logic of coalitional goal assignments in concurrent multiplayer games. (English) Zbl 1505.03048 ACM Trans. Comput. Log. 23, No. 4, Article No. 21, 58 p. (2022). MSC: 03B44 03B70 68Q85 91A06 PDFBibTeX XMLCite \textit{S. Enqvist} and \textit{V. Goranko}, ACM Trans. Comput. Log. 23, No. 4, Article No. 21, 58 p. (2022; Zbl 1505.03048) Full Text: DOI arXiv
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng Verification of distributed quantum programs. (English) Zbl 1508.68218 ACM Trans. Comput. Log. 23, No. 3, Article No. 19, 40 p. (2022). MSC: 68Q60 03B70 68Q12 81P68 PDFBibTeX XMLCite \textit{Y. Feng} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 19, 40 p. (2022; Zbl 1508.68218) Full Text: DOI arXiv
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. Parameterized complexity of elimination distance to first-order logic properties. (English) Zbl 1505.03075 ACM Trans. Comput. Log. 23, No. 3, Article No. 17, 35 p. (2022). MSC: 03B70 03B10 68Q19 68Q27 PDFBibTeX XMLCite \textit{F. V. Fomin} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 17, 35 p. (2022; Zbl 1505.03075) Full Text: DOI arXiv
Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars Modalities and parametric adjoints. (English) Zbl 1505.03030 ACM Trans. Comput. Log. 23, No. 3, Article No. 18, 29 p. (2022). MSC: 03B38 03B45 18F20 18N45 PDFBibTeX XMLCite \textit{D. Gratzer} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 18, 29 p. (2022; Zbl 1505.03030) Full Text: DOI
Grädel, Erich; Wilke, Richard Logics with multiteam semantics. (English) Zbl 1505.03069 ACM Trans. Comput. Log. 23, No. 2, Article No. 13, 30 p. (2022). MSC: 03B60 03C13 PDFBibTeX XMLCite \textit{E. Grädel} and \textit{R. Wilke}, ACM Trans. Comput. Log. 23, No. 2, Article No. 13, 30 p. (2022; Zbl 1505.03069) 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
Balbiani, Philippe; Van Ditmarsch, Hans; Fernández González, Saúl Asynchronous announcements. (English) Zbl 1505.03038 ACM Trans. Comput. Log. 23, No. 2, Article No. 10, 38 p. (2022). MSC: 03B42 PDFBibTeX XMLCite \textit{P. Balbiani} et al., ACM Trans. Comput. Log. 23, No. 2, Article No. 10, 38 p. (2022; Zbl 1505.03038) Full Text: DOI arXiv
Anevlavis, Tzanis; Philippe, Matthew; Neider, Daniel; Tabuada, Paulo Being correct is not enough: efficient verification using robust linear temporal logic. (English) Zbl 1502.68178 ACM Trans. Comput. Log. 23, No. 2, Article No. 8, 39 p. (2022). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{T. Anevlavis} et al., ACM Trans. Comput. Log. 23, No. 2, Article No. 8, 39 p. (2022; Zbl 1502.68178) Full Text: DOI arXiv
Dawar, Anuj; Wilsenach, Gregory Symmetric circuits for rank logic. (English) Zbl 1508.68101 ACM Trans. Comput. Log. 23, No. 1, Article No. 6, 35 p. (2021). MSC: 68Q06 03B70 68Q19 94C11 PDFBibTeX XMLCite \textit{A. Dawar} and \textit{G. Wilsenach}, ACM Trans. Comput. Log. 23, No. 1, Article No. 6, 35 p. (2021; Zbl 1508.68101) Full Text: DOI
Gallo, Fabio R.; Simari, Gerardo I.; Martinez, Maria Vanina; Santos, Natalia Abad; Falappa, Marcelo A. Local belief dynamics in network knowledge bases. (English) Zbl 1508.68369 ACM Trans. Comput. Log. 23, No. 1, Article No. 4, 36 p. (2021). MSC: 68T30 03B42 68T27 91D30 PDFBibTeX XMLCite \textit{F. R. Gallo} et al., ACM Trans. Comput. Log. 23, No. 1, Article No. 4, 36 p. (2021; Zbl 1508.68369) Full Text: DOI
Durand, Arnaud; Kontinen, Juha; De Rugy-Altherre, Nicolas; Väänänen, Jouko Tractability frontier of data complexity in team semantics. (English) Zbl 1508.68217 ACM Trans. Comput. Log. 23, No. 1, Article No. 3, 21 p. (2021). MSC: 68Q60 03B70 68Q25 PDFBibTeX XMLCite \textit{A. Durand} et al., ACM Trans. Comput. Log. 23, No. 1, Article No. 3, 21 p. (2021; Zbl 1508.68217) Full Text: DOI
Guidi, Ferruccio A formal system for the universal quantification of schematic variables. (English) Zbl 1508.68040 ACM Trans. Comput. Log. 23, No. 1, Article No. 2, 37 p. (2021). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{F. Guidi}, ACM Trans. Comput. Log. 23, No. 1, Article No. 2, 37 p. (2021; Zbl 1508.68040) Full Text: DOI arXiv
Kiefer, Sandra; Schweitzer, Pascal; Selman, Erkal Graphs identified by logics with counting. (English) Zbl 1508.68124 ACM Trans. Comput. Log. 23, No. 1, Article No. 1, 31 p. (2021). MSC: 68Q19 03B70 05C15 05C75 08A02 PDFBibTeX XMLCite \textit{S. Kiefer} et al., ACM Trans. Comput. Log. 23, No. 1, Article No. 1, 31 p. (2021; Zbl 1508.68124) Full Text: DOI
Konovalov, Aleksandr Yu. Generalized realizability and basic logic. (English) Zbl 1505.03128 ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021). MSC: 03F30 03F55 03B20 PDFBibTeX XMLCite \textit{A. Yu. Konovalov}, ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021; Zbl 1505.03128) 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
Ciabattoni, Agata; Lyon, Tim S.; Ramanayake, Revantha; Tiu, Alwen Display to labeled proofs and back again for tense logics. (English) Zbl 1505.03047 ACM Trans. Comput. Log. 22, No. 3, Article No. 20, 31 p. (2021). MSC: 03B44 03B45 03F05 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 20, 31 p. (2021; Zbl 1505.03047) Full Text: DOI arXiv Link
Martini, Simone; Masini, Andrea; Zorzi, Margherita From 2-sequents and linear nested sequents to natural deduction for normal modal logics. (English) Zbl 1505.03054 ACM Trans. Comput. Log. 22, No. 3, Article No. 19, 29 p. (2021). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{S. Martini} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 19, 29 p. (2021; Zbl 1505.03054) Full Text: DOI arXiv HAL
De Rudder, Laurent; Palmigiano, Alessandra Slanted canonicity of analytic inductive inequalities. (English) Zbl 1505.03051 ACM Trans. Comput. Log. 22, No. 3, Article No. 18, 41 p. (2021). MSC: 03B45 03G25 06E25 PDFBibTeX XMLCite \textit{L. De Rudder} and \textit{A. Palmigiano}, ACM Trans. Comput. Log. 22, No. 3, Article No. 18, 41 p. (2021; Zbl 1505.03051) Full Text: DOI arXiv
Deuser, Kaya; Naumov, Pavel Strategic knowledge acquisition. (English) Zbl 1502.68284 ACM Trans. Comput. Log. 22, No. 3, Article No. 17, 18 p. (2021). MSC: 68T27 03B42 03B44 68T30 PDFBibTeX XMLCite \textit{K. Deuser} and \textit{P. Naumov}, ACM Trans. Comput. Log. 22, No. 3, Article No. 17, 18 p. (2021; Zbl 1502.68284) Full Text: DOI
Dudenhefner, Andrej; Urzyczyn, Paweł Kripke semantics for intersection formulas. (English) Zbl 1505.03034 ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021). MSC: 03B40 03F03 03F05 PDFBibTeX XMLCite \textit{A. Dudenhefner} and \textit{P. Urzyczyn}, ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021; Zbl 1505.03034) Full Text: DOI
Baldan, Paolo; Padoan, Tommaso Model checking a logic for true concurrency. (English) Zbl 1502.68179 ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{T. Padoan}, ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020; Zbl 1502.68179) Full Text: DOI
van der Meyden, Ron; Patra, Manas K. Undecidable cases of model checking probabilistic temporal-epistemic logic. (English) Zbl 1502.68188 ACM Trans. Comput. Log. 21, No. 4, Article No. 32, 26 p. (2020). MSC: 68Q60 03B42 03B44 PDFBibTeX XMLCite \textit{R. van der Meyden} and \textit{M. K. Patra}, ACM Trans. Comput. Log. 21, No. 4, Article No. 32, 26 p. (2020; Zbl 1502.68188) Full Text: DOI arXiv
Cohen, Liron; Rowe, Reuben N. S. Non-well-founded proof theory of transitive closure logic. (English) Zbl 1446.03031 ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020). MSC: 03B35 03B70 03B60 03F03 03F07 PDFBibTeX XMLCite \textit{L. Cohen} and \textit{R. N. S. Rowe}, ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020; Zbl 1446.03031) Full Text: DOI
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika Metric temporal description logics with interval-rigid names. (English) Zbl 1446.68145 ACM Trans. Comput. Log. 21, No. 4, Article No. 30, 46 p. (2020). MSC: 68T27 03B44 68Q17 68T30 PDFBibTeX XMLCite \textit{F. Baader} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 30, 46 p. (2020; Zbl 1446.68145) Full Text: DOI
Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon First-order interpretations of bounded expansion classes. (English) Zbl 1446.68094 ACM Trans. Comput. Log. 21, No. 4, Article No. 29, 41 p. (2020). MSC: 68Q60 03B70 05C75 PDFBibTeX XMLCite \textit{J. Gajarský} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 29, 41 p. (2020; Zbl 1446.68094) Full Text: DOI arXiv Link
Gajarský, Jakub; Hliněný, Petr; Obdržálek, Jan; Lokshtanov, Daniel; Ramanujan, M. S. A new perspective on FO model checking of dense graph classes. (English) Zbl 1446.68093 ACM Trans. Comput. Log. 21, No. 4, Article No. 28, 23 p. (2020). MSC: 68Q60 03B70 05C75 68Q25 PDFBibTeX XMLCite \textit{J. Gajarský} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 28, 23 p. (2020; Zbl 1446.68093) Full Text: DOI arXiv
Amarilli, Antoine; Benedikt, Michael Finite open-world query answering with number restrictions. (English) Zbl 1446.68050 ACM Trans. Comput. Log. 21, No. 4, Article No. 27, 73 p. (2020). MSC: 68P15 03B70 68P05 PDFBibTeX XMLCite \textit{A. Amarilli} and \textit{M. Benedikt}, ACM Trans. Comput. Log. 21, No. 4, Article No. 27, 73 p. (2020; Zbl 1446.68050) Full Text: DOI arXiv
Menghi, Claudio; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San Model checking MITL formulae on timed automata. A logic-based approach. (English) Zbl 1446.68095 ACM Trans. Comput. Log. 21, No. 3, Article No. 26, 44 p. (2020). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{C. Menghi} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 26, 44 p. (2020; Zbl 1446.68095) Full Text: DOI
Pitts, Andrew M. Typal heterogeneous equality types. (English) Zbl 1446.03032 ACM Trans. Comput. Log. 21, No. 3, Article No. 25, 10 p. (2020). MSC: 03B38 PDFBibTeX XMLCite \textit{A. M. Pitts}, ACM Trans. Comput. Log. 21, No. 3, Article No. 25, 10 p. (2020; Zbl 1446.03032) Full Text: DOI arXiv
Fiorentini, Camillo; Ferrari, Mauro Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. (English) Zbl 1446.03025 ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020). MSC: 03B20 03B35 03F03 03F05 PDFBibTeX XMLCite \textit{C. Fiorentini} and \textit{M. Ferrari}, ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020; Zbl 1446.03025) Full Text: DOI arXiv
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. (English) Zbl 1446.03064 ACM Trans. Comput. Log. 21, No. 3, Article No. 19, 46 p. (2020). MSC: 03B70 68Q17 68Q60 PDFBibTeX XMLCite \textit{M. Echenim} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 19, 46 p. (2020; Zbl 1446.03064) Full Text: DOI HAL
Burel, Guillaume Linking focusing and resolution with selection. (English) Zbl 1446.03099 ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020). MSC: 03F03 03B35 03F05 68V15 PDFBibTeX XMLCite \textit{G. Burel}, ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020; Zbl 1446.03099) Full Text: DOI HAL
Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). MSC: 03B42 03B48 68T27 68T42 PDFBibTeX XMLCite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI arXiv
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
Montenegro, Manuel; Nieva, Susana; Peña, Ricardo; Segura, Clara Extending liquid types to arrays. (English) Zbl 1446.68096 ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020). MSC: 68Q60 03B38 03B70 PDFBibTeX XMLCite \textit{M. Montenegro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020; Zbl 1446.68096) Full Text: DOI
Eickmeyer, Kord; van den Heuvel, Jan; Kawarabayashi, Ken-Ichi; Kreutzer, Stephan; Ossona De Mendez, Patrice; Pilipczuk, Michał; Quiroz, Daniel A.; Rabinovich, Roman; Siebertz, Sebastian Model-checking on ordered structures. (English) Zbl 1446.68092 ACM Trans. Comput. Log. 21, No. 2, Article No. 11, 28 p. (2020). MSC: 68Q60 03B70 05C75 05C83 68Q25 PDFBibTeX XMLCite \textit{K. Eickmeyer} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 11, 28 p. (2020; Zbl 1446.68092) Full Text: DOI arXiv
Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David Intuitionistic linear temporal logics. (English) Zbl 1433.03047 ACM Trans. Comput. Log. 21, No. 2, Article No. 14, 32 p. (2020). MSC: 03B44 03B20 03B47 03B25 PDFBibTeX XMLCite \textit{P. Balbiani} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 14, 32 p. (2020; Zbl 1433.03047) Full Text: DOI arXiv Link
Feng, Shiguang; Carapelle, Claudia; Gil, Oliver Fernández; Quaas, Karin MTL and TPTL for one-counter machines. Expressiveness, model checking, and satisfiability. (English) Zbl 1433.68215 ACM Trans. Comput. Log. 21, No. 2, Article No. 12, 34 p. (2020). MSC: 68Q60 03B25 03B44 PDFBibTeX XMLCite \textit{S. Feng} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 12, 34 p. (2020; Zbl 1433.68215) Full Text: DOI
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Vollmer, Heribert Satisfiability of modal inclusion logic. Lax and strict semantics. (English) Zbl 1433.03053 ACM Trans. Comput. Log. 21, No. 1, Article No. 7, 18 p. (2020). MSC: 03B45 03B70 68Q25 PDFBibTeX XMLCite \textit{L. Hella} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 7, 18 p. (2020; Zbl 1433.03053) Full Text: DOI arXiv
Basin, David; Klaedtke, Felix; Zălinescu, Eugen Runtime verification over out-of-order streams. (English) Zbl 1433.68208 ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020). MSC: 68Q60 03B44 68Q10 68Q85 PDFBibTeX XMLCite \textit{D. Basin} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020; Zbl 1433.68208) Full Text: DOI arXiv
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi Fixed-point elimination in the intuitionistic propositional calculus. (English) Zbl 1433.03015 ACM Trans. Comput. Log. 21, No. 1, Article No. 4, 37 p. (2020). MSC: 03B20 06D20 PDFBibTeX XMLCite \textit{S. Ghilardi} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 4, 37 p. (2020; Zbl 1433.03015) Full Text: DOI Link
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
Huang, Xiaowei; Kwiatkowska, Marta; Olejnik, Maciej Reasoning about cognitive trust in stochastic multiagent systems. (English) Zbl 1433.68422 ACM Trans. Comput. Log. 20, No. 4, Article No. 21, 64 p. (2019). MSC: 68T27 03B42 03B44 68Q60 68T42 91A60 91A80 PDFBibTeX XMLCite \textit{X. Huang} et al., ACM Trans. Comput. Log. 20, No. 4, Article No. 21, 64 p. (2019; Zbl 1433.68422) Full Text: DOI arXiv Link
Aameri, Bahar; Grüninger, Michael A representation theorem for change through composition of activities. (English) Zbl 1433.68426 ACM Trans. Comput. Log. 20, No. 4, Article No. 20, 31 p. (2019). MSC: 68T30 03B42 68T27 PDFBibTeX XMLCite \textit{B. Aameri} and \textit{M. Grüninger}, ACM Trans. Comput. Log. 20, No. 4, Article No. 20, 31 p. (2019; Zbl 1433.68426) Full Text: DOI
Chalopin, Jérémie; Chepoi, Victor 1-safe Petri nets and special cube complexes. Equivalence and applications. (English) Zbl 1433.68243 ACM Trans. Comput. Log. 20, No. 3, Article No. 17, 49 p. (2019). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{J. Chalopin} and \textit{V. Chepoi}, ACM Trans. Comput. Log. 20, No. 3, Article No. 17, 49 p. (2019; Zbl 1433.68243) Full Text: DOI arXiv
Lahav, Ori; Zohar, Yoni Pure sequent calculi. Analyticity and decision procedure. (English) Zbl 1433.03130 ACM Trans. Comput. Log. 20, No. 3, Article No. 13, 38 p. (2019). MSC: 03F03 03B45 03F05 PDFBibTeX XMLCite \textit{O. Lahav} and \textit{Y. Zohar}, ACM Trans. Comput. Log. 20, No. 3, Article No. 13, 38 p. (2019; Zbl 1433.03130) Full Text: DOI
Bulling, Nils; Jamroga, Wojciech; Popovici, Matei Reasoning about strategic abilities: agents with truly perfect recall. (English) Zbl 1433.68417 ACM Trans. Comput. Log. 20, No. 2, Article No. 10, 46 p. (2019). MSC: 68T27 03B44 68Q60 PDFBibTeX XMLCite \textit{N. Bulling} et al., ACM Trans. Comput. Log. 20, No. 2, Article No. 10, 46 p. (2019; Zbl 1433.68417) Full Text: DOI
Lellmann, Björn; Pimentel, Elaine Modularisation of sequent calculi for normal and non-normal modalities. (English) Zbl 1433.03131 ACM Trans. Comput. Log. 20, No. 2, Article No. 7, 46 p. (2019). MSC: 03F03 03B45 03F05 PDFBibTeX XMLCite \textit{B. Lellmann} and \textit{E. Pimentel}, ACM Trans. Comput. Log. 20, No. 2, Article No. 7, 46 p. (2019; Zbl 1433.03131) Full Text: DOI arXiv
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Interval vs. point temporal logic model checking. An expressiveness comparison. (English) Zbl 1407.68283 ACM Trans. Comput. Log. 20, No. 1, Article No. 4, 31 p. (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 4, 31 p. (2019; Zbl 1407.68283) Full Text: DOI
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A. Checking admissibility using natural dualities. (English) Zbl 1407.03010 ACM Trans. Comput. Log. 20, No. 1, Article No. 2, 19 p. (2019). MSC: 03B35 08A70 08C15 08C20 PDFBibTeX XMLCite \textit{L. M. Cabrer} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 2, 19 p. (2019; Zbl 1407.03010) Full Text: DOI arXiv Link
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
Huang, Xiaowei; van der Meyden, Ron An epistemic strategy logic. (English) Zbl 1407.03020 ACM Trans. Comput. Log. 19, No. 4, Article No. 26, 45 p. (2018). MSC: 03B42 03B44 68Q60 68T27 68T42 PDFBibTeX XMLCite \textit{X. Huang} and \textit{R. van der Meyden}, ACM Trans. Comput. Log. 19, No. 4, Article No. 26, 45 p. (2018; Zbl 1407.03020) Full Text: DOI arXiv
Hamano, Masahiro Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. (English) Zbl 1407.03077 ACM Trans. Comput. Log. 19, No. 4, Article No. 25, 38 p. (2018). MSC: 03F52 03B70 03F07 03G30 PDFBibTeX XMLCite \textit{M. Hamano}, ACM Trans. Comput. Log. 19, No. 4, Article No. 25, 38 p. (2018; Zbl 1407.03077) Full Text: DOI arXiv
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
Guller, Dušan Automated deduction in Gödel logic. (English) Zbl 1407.03012 ACM Trans. Comput. Log. 19, No. 3, Article No. 18, 28 p. (2018). MSC: 03B35 03B52 PDFBibTeX XMLCite \textit{D. Guller}, ACM Trans. Comput. Log. 19, No. 3, Article No. 18, 28 p. (2018; Zbl 1407.03012) Full Text: DOI
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Game-theoretic semantics for alternating-time temporal logic. (English) Zbl 1407.03030 ACM Trans. Comput. Log. 19, No. 3, Article No. 17, 38 p. (2018). MSC: 03B44 68T27 68T42 91A80 PDFBibTeX XMLCite \textit{V. Goranko} et al., ACM Trans. Comput. Log. 19, No. 3, Article No. 17, 38 p. (2018; Zbl 1407.03030) Full Text: DOI arXiv Link
Hannula, Miika Hierarchies in inclusion logic with lax semantics. (English) Zbl 1407.03040 ACM Trans. Comput. Log. 19, No. 3, Article No. 16, 23 p. (2018). MSC: 03B60 68Q19 PDFBibTeX XMLCite \textit{M. Hannula}, ACM Trans. Comput. Log. 19, No. 3, Article No. 16, 23 p. (2018; Zbl 1407.03040) Full Text: DOI arXiv
van den Berg, Benno Path categories and propositional identity types. (English) Zbl 1407.03005 ACM Trans. Comput. Log. 19, No. 2, Article No. 15, 32 p. (2018). MSC: 03B15 03G30 18B30 55U40 PDFBibTeX XMLCite \textit{B. van den Berg}, ACM Trans. Comput. Log. 19, No. 2, Article No. 15, 32 p. (2018; Zbl 1407.03005) Full Text: DOI arXiv