Collinson, Matthew A logic of hypothetical conjunction. (English) Zbl 1444.03080 J. Log. Comput. 29, No. 6, 975-1009 (2019). MSC: 03B47 03B60 PDF BibTeX XML Cite \textit{M. Collinson}, J. Log. Comput. 29, No. 6, 975--1009 (2019; Zbl 1444.03080) Full Text: DOI
Franklin, Johanna N. Y.; Turetsky, Dan Taking the path computably traveled. (English) Zbl 1444.03139 J. Log. Comput. 29, No. 6, 969-973 (2019). MSC: 03D45 03D25 03D28 03C57 PDF BibTeX XML Cite \textit{J. N. Y. Franklin} and \textit{D. Turetsky}, J. Log. Comput. 29, No. 6, 969--973 (2019; Zbl 1444.03139) Full Text: DOI
Primiero, Giuseppe A logic of efficient and optimal designs. (English) Zbl 1444.03120 J. Log. Comput. 29, No. 6, 947-968 (2019). MSC: 03B70 68Q60 PDF BibTeX XML Cite \textit{G. Primiero}, J. Log. Comput. 29, No. 6, 947--968 (2019; Zbl 1444.03120) Full Text: DOI
Porter, Christopher P. Effective aspects of Bernoulli randomness. (English) Zbl 1444.03137 J. Log. Comput. 29, No. 6, 933-946 (2019). MSC: 03D32 03D28 60G42 60G57 PDF BibTeX XML Cite \textit{C. P. Porter}, J. Log. Comput. 29, No. 6, 933--946 (2019; Zbl 1444.03137) Full Text: DOI
Liao, Xiaojuan; Koshimura, Miyuki A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets. (English) Zbl 1430.68344 J. Log. Comput. 29, No. 6, 913-931 (2019). MSC: 68T42 68R07 68T20 91A10 PDF BibTeX XML Cite \textit{X. Liao} and \textit{M. Koshimura}, J. Log. Comput. 29, No. 6, 913--931 (2019; Zbl 1430.68344) Full Text: DOI
Szwast, Wiesław; Tendera, Lidia On the satisfiability problem for fragments of two-variable logic with one transitive relation. (English) Zbl 1444.03011 J. Log. Comput. 29, No. 6, 881-911 (2019). MSC: 03B25 03B20 68Q25 PDF BibTeX XML Cite \textit{W. Szwast} and \textit{L. Tendera}, J. Log. Comput. 29, No. 6, 881--911 (2019; Zbl 1444.03011) Full Text: DOI