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
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
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
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
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
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
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
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
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
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
Barrett, Chris; Guglielmi, Alessio A subatomic proof system for decision trees. (English) Zbl 1505.03125 ACM Trans. Comput. Log. 23, No. 4, Article No. 26, 25 p. (2022). MSC: 03F05 03F20 PDFBibTeX XMLCite \textit{C. Barrett} and \textit{A. Guglielmi}, ACM Trans. Comput. Log. 23, No. 4, Article No. 26, 25 p. (2022; Zbl 1505.03125) Full Text: DOI arXiv
Case, Adam; Porter, Christopher P. The intersection of algorithmically random closed sets and effective dimension. (English) Zbl 1505.03088 ACM Trans. Comput. Log. 23, No. 4, Article No. 24, 19 p. (2022). MSC: 03D32 68Q30 60J80 PDFBibTeX XMLCite \textit{A. Case} and \textit{C. P. Porter}, ACM Trans. Comput. Log. 23, No. 4, Article No. 24, 19 p. (2022; Zbl 1505.03088) 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
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
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
Ponomaryov, Denis; Soutchanski, Mikhail Progression of decomposed local-effect action theories. (English) Zbl 1367.68292 ACM Trans. Comput. Log. 18, No. 2, Article No. 16, 41 p. (2017). MSC: 68T27 PDFBibTeX XMLCite \textit{D. Ponomaryov} and \textit{M. Soutchanski}, ACM Trans. Comput. Log. 18, No. 2, Article No. 16, 41 p. (2017; Zbl 1367.68292) Full Text: DOI arXiv
Su, Che-Ping; Fan, Tuan-Fang; Liau, Churn-Jung Possibilistic justification logic: reasoning about justified uncertain beliefs. (English) Zbl 1407.03023 ACM Trans. Comput. Log. 18, No. 2, Article No. 15, 21 p. (2017). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{C.-P. Su} et al., ACM Trans. Comput. Log. 18, No. 2, Article No. 15, 21 p. (2017; Zbl 1407.03023) Full Text: DOI
Zhang, Heng; Zhang, Yan Expressiveness of logic programs under the general stable model semantics. (English) Zbl 1367.68044 ACM Trans. Comput. Log. 18, No. 2, Article No. 9, 28 p. (2017). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{H. Zhang} and \textit{Y. Zhang}, ACM Trans. Comput. Log. 18, No. 2, Article No. 9, 28 p. (2017; Zbl 1367.68044) Full Text: DOI arXiv
Haret, Adrian; Rümmele, Stefan; Woltran, Stefan Merging in the Horn fragment. (English) Zbl 1367.68280 ACM Trans. Comput. Log. 18, No. 1, Article No. 6, 32 p. (2017). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{A. Haret} et al., ACM Trans. Comput. Log. 18, No. 1, Article No. 6, 32 p. (2017; Zbl 1367.68280) Full Text: DOI
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan Belief merging within fragments of propositional logic. (English) Zbl 1367.03034 ACM Trans. Comput. Log. 17, No. 3, Article No. 20, 28 p. (2016). MSC: 03B42 03B20 68T27 PDFBibTeX XMLCite \textit{N. Creignou} et al., ACM Trans. Comput. Log. 17, No. 3, Article No. 20, 28 p. (2016; Zbl 1367.03034) Full Text: DOI arXiv
Ciabattoni, Agata; Ramanayake, Revantha Power and limits of structural display rules. (English) Zbl 1407.03067 ACM Trans. Comput. Log. 17, No. 3, Article No. 17, 39 p. (2016). MSC: 03F03 03F05 03B20 03B45 03B44 03B47 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{R. Ramanayake}, ACM Trans. Comput. Log. 17, No. 3, Article No. 17, 39 p. (2016; Zbl 1407.03067) Full Text: DOI
Demri, Stephane; Deters, Morgan Expressive completeness of separation logic with two variables and no separating conjunction. (English) Zbl 1367.03053 ACM Trans. Comput. Log. 17, No. 2, Article No. 12, 44 p. (2016). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{S. Demri} and \textit{M. Deters}, ACM Trans. Comput. Log. 17, No. 2, Article No. 12, 44 p. (2016; Zbl 1367.03053) Full Text: DOI
Liberatore, Paolo Belief merging by examples. (English) Zbl 1367.68285 ACM Trans. Comput. Log. 17, No. 2, Article No. 9, 38 p. (2016). MSC: 68T27 03B42 68Q25 68T30 PDFBibTeX XMLCite \textit{P. Liberatore}, ACM Trans. Comput. Log. 17, No. 2, Article No. 9, 38 p. (2016; Zbl 1367.68285) Full Text: DOI arXiv
Rabe, Florian Lax theory morphisms. (English) Zbl 1367.03061 ACM Trans. Comput. Log. 17, No. 1, Article No. 5, 36 p. (2015). MSC: 03B70 PDFBibTeX XMLCite \textit{F. Rabe}, ACM Trans. Comput. Log. 17, No. 1, Article No. 5, 36 p. (2015; Zbl 1367.03061) Full Text: DOI
Cerrito, Serenella; David, Amélie; Goranko, Valentin Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\). (English) Zbl 1367.68246 ACM Trans. Comput. Log. 17, No. 1, Article No. 4, 34 p. (2015). MSC: 68T15 03B44 68Q25 PDFBibTeX XMLCite \textit{S. Cerrito} et al., ACM Trans. Comput. Log. 17, No. 1, Article No. 4, 34 p. (2015; Zbl 1367.68246) Full Text: DOI arXiv
Platzer, André Differential game logic. (English) Zbl 1367.68201 ACM Trans. Comput. Log. 17, No. 1, Article No. 1, 51 p. (2015). MSC: 68Q60 03B70 91A44 PDFBibTeX XMLCite \textit{A. Platzer}, ACM Trans. Comput. Log. 17, No. 1, Article No. 1, 51 p. (2015; Zbl 1367.68201) Full Text: DOI arXiv
Wang, Zhe; Wang, Kewen; Topor, Rodney DL-Lite ontology revision based on an alternative semantic characterization. (English) Zbl 1367.68297 ACM Trans. Comput. Log. 16, No. 4, Article No. 31, 37 p. (2015). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{Z. Wang} et al., ACM Trans. Comput. Log. 16, No. 4, Article No. 31, 37 p. (2015; Zbl 1367.68297) Full Text: DOI Link
Hampson, Christopher; Kurucz, Agi Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting. (English) Zbl 1354.03022 ACM Trans. Comput. Log. 16, No. 3, Article No. 27, 36 p. (2015). MSC: 03B44 03B25 03B45 03D05 PDFBibTeX XMLCite \textit{C. Hampson} and \textit{A. Kurucz}, ACM Trans. Comput. Log. 16, No. 3, Article No. 27, 36 p. (2015; Zbl 1354.03022) Full Text: DOI arXiv
Jouannaud, Jean-Pierre; Rubio, Albert Normal higher-order termination. (English) Zbl 1354.68140 ACM Trans. Comput. Log. 16, No. 2, Article No. 13, 38 p. (2015). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{A. Rubio}, ACM Trans. Comput. Log. 16, No. 2, Article No. 13, 38 p. (2015; Zbl 1354.68140) Full Text: DOI Link
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco On the complexity of probabilistic abstract argumentation frameworks. (English) Zbl 1354.68253 ACM Trans. Comput. Log. 16, No. 3, Article No. 22, 39 p. (2015). MSC: 68T27 68Q25 68T37 PDFBibTeX XMLCite \textit{B. Fazzinga} et al., ACM Trans. Comput. Log. 16, No. 3, Article No. 22, 39 p. (2015; Zbl 1354.68253) Full Text: DOI
Novaković, Novak; Straßburger, Lutz On the power of substitution in the calculus of structures. (English) Zbl 1354.03091 ACM Trans. Comput. Log. 16, No. 3, Article No. 19, 20 p. (2015). MSC: 03F20 03F07 PDFBibTeX XMLCite \textit{N. Novaković} and \textit{L. Straßburger}, ACM Trans. Comput. Log. 16, No. 3, Article No. 19, 20 p. (2015; Zbl 1354.03091) Full Text: DOI
Göller, Stefan; Jung, Jean-Christoph; Lohrey, Markus The complexity of decomposing modal and first-order theories. (English) Zbl 1354.03053 ACM Trans. Comput. Log. 16, No. 1, Article No. 9, 43 p. (2015). MSC: 03D15 03B20 03B45 03C07 68Q17 68Q25 PDFBibTeX XMLCite \textit{S. Göller} et al., ACM Trans. Comput. Log. 16, No. 1, Article No. 9, 43 p. (2015; Zbl 1354.03053) Full Text: DOI
Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido An evaluation-driven decision procedure for G3i. (English) Zbl 1354.03083 ACM Trans. Comput. Log. 16, No. 1, Article No. 8, 37 p. (2015). MSC: 03F03 03B20 03B35 PDFBibTeX XMLCite \textit{M. Ferrari} et al., ACM Trans. Comput. Log. 16, No. 1, Article No. 8, 37 p. (2015; Zbl 1354.03083) Full Text: DOI
Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna Taming paraconsistent (and other) logics: an algorithmic approach. (English) Zbl 1354.03082 ACM Trans. Comput. Log. 16, No. 1, Article No. 5, 23 p. (2015). MSC: 03F03 03B53 68N17 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., ACM Trans. Comput. Log. 16, No. 1, Article No. 5, 23 p. (2015; Zbl 1354.03082) Full Text: DOI
Biscaia, M.; Henriques, D.; Mateus, P. Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains. (English) Zbl 1354.68168 ACM Trans. Comput. Log. 16, No. 1, Article No. 4, 17 p. (2015). MSC: 68Q60 03B25 03B44 11U05 60J20 68Q87 PDFBibTeX XMLCite \textit{M. Biscaia} et al., ACM Trans. Comput. Log. 16, No. 1, Article No. 4, 17 p. (2015; Zbl 1354.68168) Full Text: DOI
Crafa, Silvia; Ranzato, Francesco Logical characterizations of behavioral relations on transition systems of probability distributions. (English) Zbl 1354.68192 ACM Trans. Comput. Log. 16, No. 1, Article No. 2, 24 p. (2015). MSC: 68Q85 03B70 68Q87 PDFBibTeX XMLCite \textit{S. Crafa} and \textit{F. Ranzato}, ACM Trans. Comput. Log. 16, No. 1, Article No. 2, 24 p. (2015; Zbl 1354.68192) Full Text: DOI Link
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. Reasoning about strategies: on the model-checking problem. (English) Zbl 1354.68178 ACM Trans. Comput. Log. 15, No. 4, Article No. 34, 47 p. (2014). MSC: 68Q60 68T27 91A80 PDFBibTeX XMLCite \textit{F. Mogavero} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 34, 47 p. (2014; Zbl 1354.68178) Full Text: DOI arXiv
Simmons, Robert J. Structural focalization. (English) Zbl 1354.03087 ACM Trans. Comput. Log. 15, No. 3, Article No. 21, 33 p. (2014). MSC: 03F05 03B20 03F07 PDFBibTeX XMLCite \textit{R. J. Simmons}, ACM Trans. Comput. Log. 15, No. 3, Article No. 21, 33 p. (2014; Zbl 1354.03087) Full Text: DOI arXiv
Creignou, Nadia; Egly, Uwe; Schmidt, Johannes Complexity classifications for logic-based argumentation. (English) Zbl 1354.68251 ACM Trans. Comput. Log. 15, No. 3, Article No. 19, 20 p. (2014). MSC: 68T27 68Q17 68Q25 PDFBibTeX XMLCite \textit{N. Creignou} et al., ACM Trans. Comput. Log. 15, No. 3, Article No. 19, 20 p. (2014; Zbl 1354.68251) Full Text: DOI arXiv
Molinaro, Cristian; Sliva, Amy; Subrahmanian, V. S. Super-solutions: succinctly representing solutions in abductive annotated probabilistic temporal logic. (English) Zbl 1354.68038 ACM Trans. Comput. Log. 15, No. 3, Article No. 18, 35 p. (2014). MSC: 68N17 03B44 68T27 PDFBibTeX XMLCite \textit{C. Molinaro} et al., ACM Trans. Comput. Log. 15, No. 3, Article No. 18, 35 p. (2014; Zbl 1354.68038) Full Text: DOI
Schmidt, Renate A.; Tishkovsky, Dmitry Using tableau to decide description logics with full role negation and identity. (English) Zbl 1287.03031 ACM Trans. Comput. Log. 15, No. 1, Article No. 7, 31 p. (2014). MSC: 03B35 03B45 68T27 PDFBibTeX XMLCite \textit{R. A. Schmidt} and \textit{D. Tishkovsky}, ACM Trans. Comput. Log. 15, No. 1, Article No. 7, 31 p. (2014; Zbl 1287.03031) Full Text: DOI arXiv
Bauer, Matthew S. A PSPACE-complete first-order fragment of computability logic. (English) Zbl 1287.03067 ACM Trans. Comput. Log. 15, No. 1, Article No. 1, 11 p. (2014). MSC: 03B70 68Q17 PDFBibTeX XMLCite \textit{M. S. Bauer}, ACM Trans. Comput. Log. 15, No. 1, Article No. 1, 11 p. (2014; Zbl 1287.03067) Full Text: DOI arXiv