Schechter, L. Menasché A logic of plausible justifications. (English) Zbl 1331.03023 Theor. Comput. Sci. 603, 132-145 (2015). MSC: 03B42 68Q25 68Q60 68T27 68T42 PDF BibTeX XML Cite \textit{L. M. Schechter}, Theor. Comput. Sci. 603, 132--145 (2015; Zbl 1331.03023) Full Text: DOI
Link, Sebastian Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions. (English) Zbl 1330.68279 Theor. Comput. Sci. 603, 111-131 (2015). MSC: 68T27 68P15 68T37 PDF BibTeX XML Cite \textit{S. Link}, Theor. Comput. Sci. 603, 111--131 (2015; Zbl 1330.68279) Full Text: DOI
Caleiro, Carlos; Marcos, João; Volpe, Marco Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. (English) Zbl 1331.03024 Theor. Comput. Sci. 603, 84-110 (2015). MSC: 03B50 03B35 PDF BibTeX XML Cite \textit{C. Caleiro} et al., Theor. Comput. Sci. 603, 84--110 (2015; Zbl 1331.03024) Full Text: DOI
Bozzelli, Laura; van Ditmarsch, Hans; Pinchinat, Sophie The complexity of one-agent refinement modal logic. (English) Zbl 1347.03041 Theor. Comput. Sci. 603, 58-83 (2015). MSC: 03B45 68Q15 PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 603, 58--83 (2015; Zbl 1347.03041) Full Text: DOI
Baldi, Paolo; Ciabattoni, Agata Uniform proofs of standard completeness for extensions of first-order MTL. (English) Zbl 1331.03025 Theor. Comput. Sci. 603, 43-57 (2015). MSC: 03B52 PDF BibTeX XML Cite \textit{P. Baldi} and \textit{A. Ciabattoni}, Theor. Comput. Sci. 603, 43--57 (2015; Zbl 1331.03025) Full Text: DOI
Asperti, Andrea; Ricciotti, Wilmer A formalization of multi-tape Turing machines. (English) Zbl 1330.68065 Theor. Comput. Sci. 603, 23-42 (2015). MSC: 68Q05 68T15 PDF BibTeX XML Cite \textit{A. Asperti} and \textit{W. Ricciotti}, Theor. Comput. Sci. 603, 23--42 (2015; Zbl 1330.68065) Full Text: DOI
Abriola, Sergio; Figueira, Santiago; Senno, Gabriel Linearizing well quasi-orders and bounding the length of bad sequences. (English) Zbl 1347.03086 Theor. Comput. Sci. 603, 3-22 (2015). MSC: 03E05 03D20 PDF BibTeX XML Cite \textit{S. Abriola} et al., Theor. Comput. Sci. 603, 3--22 (2015; Zbl 1347.03086) Full Text: DOI
Ong, Luke (ed.); de Queiroz, Ruy J. G. B. (ed.) Logic, language, information and computation (WoLLIC 2012). (English) Zbl 1323.00082 Theor. Comput. Sci. 603, 1-2 (2015). MSC: 00B25 68-06 PDF BibTeX XML Cite \textit{L. Ong} (ed.) and \textit{R. J. G. B. de Queiroz} (ed.), Theor. Comput. Sci. 603, 1--2 (2015; Zbl 1323.00082) Full Text: DOI