Iemhoff, Rosalie Terminating sequent calculi for two intuitionistic modal logics. (English) Zbl 1444.03060 J. Log. Comput. 28, No. 7, 1701-1712 (2018). MSC: 03B45 03B20 03F03 03F05 PDFBibTeX XMLCite \textit{R. Iemhoff}, J. Log. Comput. 28, No. 7, 1701--1712 (2018; Zbl 1444.03060) Full Text: DOI Link
Delobelle, Jérôme; Konieczny, Sébastien; Vesic, Srdjan On the aggregation of argumentation frameworks: operators and postulates. (English) Zbl 1444.68180 J. Log. Comput. 28, No. 7, 1671-1699 (2018). MSC: 68T27 PDFBibTeX XMLCite \textit{J. Delobelle} et al., J. Log. Comput. 28, No. 7, 1671--1699 (2018; Zbl 1444.68180) Full Text: DOI
Deuser, Kaya; Naumov, Pavel Navigability with intermediate constraints. (English) Zbl 1412.68281 J. Log. Comput. 28, No. 7, 1647-1670 (2018). MSC: 68T42 03B42 68T27 PDFBibTeX XMLCite \textit{K. Deuser} and \textit{P. Naumov}, J. Log. Comput. 28, No. 7, 1647--1670 (2018; Zbl 1412.68281) Full Text: DOI Link
Gurvich, Vladimir Backward induction in presence of cycles. (English) Zbl 1420.91029 J. Log. Comput. 28, No. 7, 1635-1646 (2018). MSC: 91A43 91A20 91A24 05C20 PDFBibTeX XMLCite \textit{V. Gurvich}, J. Log. Comput. 28, No. 7, 1635--1646 (2018; Zbl 1420.91029) Full Text: DOI arXiv
Schwind, Nicolas; Konieczny, Sébastien; Marquis, Pierre Belief base rationalization for propositional merging. (English) Zbl 1444.68191 J. Log. Comput. 28, No. 7, 1601-1634 (2018). MSC: 68T27 03B42 PDFBibTeX XMLCite \textit{N. Schwind} et al., J. Log. Comput. 28, No. 7, 1601--1634 (2018; Zbl 1444.68191) Full Text: DOI
Sestini, Filippo; Crafa, Silvia Proof search in a context-sensitive logic for molecular biology. (English) Zbl 1444.03171 J. Log. Comput. 28, No. 7, 1565-1600 (2018). MSC: 03F52 68V15 92C40 PDFBibTeX XMLCite \textit{F. Sestini} and \textit{S. Crafa}, J. Log. Comput. 28, No. 7, 1565--1600 (2018; Zbl 1444.03171) Full Text: DOI
Arieli, Ofer; Borg, AnneMarie; Straßer, Christian Reasoning with maximal consistency by argumentative approaches. (English) Zbl 1444.68175 J. Log. Comput. 28, No. 7, 1523-1563 (2018). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{O. Arieli} et al., J. Log. Comput. 28, No. 7, 1523--1563 (2018; Zbl 1444.68175) Full Text: DOI Link
Calvert, W.; Frolov, A.; Harizanov, V.; Knight, J.; McCoy, C.; Soskova, A.; Vatev, S. Strong jump inversion. (English) Zbl 1444.03138 J. Log. Comput. 28, No. 7, 1499-1522 (2018). MSC: 03D45 03C57 03D25 PDFBibTeX XMLCite \textit{W. Calvert} et al., J. Log. Comput. 28, No. 7, 1499--1522 (2018; Zbl 1444.03138) Full Text: DOI arXiv
Novaro, Arianna; Grandi, Umberto; Herzig, Andreas Judgment aggregation in dynamic logic of propositional assignments. (English) Zbl 1444.03119 J. Log. Comput. 28, No. 7, 1471-1498 (2018). MSC: 03B70 03B45 68T27 91B14 PDFBibTeX XMLCite \textit{A. Novaro} et al., J. Log. Comput. 28, No. 7, 1471--1498 (2018; Zbl 1444.03119) Full Text: DOI Link
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume; Martel, Mauricio Satisfiability for relation-changing logics. (English) Zbl 1444.03040 J. Log. Comput. 28, No. 7, 1443-1470 (2018). MSC: 03B45 03B42 03B70 PDFBibTeX XMLCite \textit{C. Areces} et al., J. Log. Comput. 28, No. 7, 1443--1470 (2018; Zbl 1444.03040) Full Text: DOI Link
Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang Unified correspondence as a proof-theoretic tool. (English) Zbl 1444.03055 J. Log. Comput. 28, No. 7, 1367-1442 (2018). MSC: 03B45 03F03 03F05 PDFBibTeX XMLCite \textit{G. Greco} et al., J. Log. Comput. 28, No. 7, 1367--1442 (2018; Zbl 1444.03055) Full Text: DOI arXiv Link