701. Structured argumentation with prioritized conditional obligations and permissions. (19th March 2018) Authors: Beirlaen, Mathieu; Heyninck, Jesse; Straßer, Christian Journal: Journal of logic and computation Issue: Volume 29:Number 2(2019) Page Start: 187 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
702. Subframization and stabilization for superintuitionistic logics. (17th January 2019) Authors: Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia Journal: Journal of logic and computation Issue: Volume 29:Number 1(2019) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
703. Sublattices and Δ-blocks of orthomodular posets. (28th July 2020) Authors: Chajda, Ivan; Länger, Helmut Journal: Journal of logic and computation Issue: Volume 30:Number 7(2020) Page Start: 1401 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
704. Substituting strict equivalents. (26th February 2019) Authors: Martens, David B Journal: Journal of logic and computation Issue: Volume 29:Number 5(2019) Page Start: 753 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
705. SUNNY-CP and the MiniZinc challenge*. Issue 1 (10th August 2017) Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 81 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
706. SUNNY: a Lazy Portfolio Approach for Constraint Solving. Issue 4 (21st July 2014) Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 509 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
707. Suppes-style sequent calculus for probability logic. (1st October 2015) Authors: Boričić, Marija Journal: Journal of logic and computation Issue: Volume 27:Number 4(2017) Page Start: 1157 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
708. Symbolic Analysis of Maude Theories with Narval. Issue 5 (September 2019) Authors: ALPUENTE, MARÍA; ESCOBAR, SANTIAGO; SAPIÑA, JULIA; BALLIS, DEMIS Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 874 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
709. Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond. (22nd November 2017) Authors: van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile Journal: Journal of logic and computation Issue: Volume 28:Number 2(2018) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
710. Symbolic model checking of public announcement protocols. (10th December 2019) Authors: Charrier, Tristan; Pinchinat, Sophie; Schwarzentruber, FranÇois Journal: Journal of logic and computation Issue: Volume 29:Number 8(2019) Page Start: 1211 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗