577 | -- | 593 | Riccardo Camerlo, Giovanni Pistone, Fabio Rapallo. Modal operators and toric ideals |
595 | -- | 604 | Albert Visser. From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference |
605 | -- | 630 | Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema. Model checking and validity in propositional and modal inclusion logics |
631 | -- | 663 | Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc. Logics based on linear orders of contaminating values |
665 | -- | 692 | Sergey Drobyshevich. A bilateral Hilbert-style investigation of 2-intuitionistic logic |
693 | -- | 721 | Liron Cohen 0001, Reuben N. S. Rowe, Yoni Zohar. Towards automated reasoning in Herbrand structures |
723 | -- | 751 | Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau. Automatic white-box testing of first-order logic ontologies |
753 | -- | 761 | David B. Martens. Substituting strict equivalents |
763 | -- | 784 | Paolo Aglianò, Sara Ugolini. |MTL|-algebras as rotations of basic hoops |
785 | -- | 802 | Giovanna D'Agostino. Uniform interpolation for propositional and modal team logics |
803 | -- | 830 | Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer. A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol |
831 | -- | 880 | Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen. The fixed point property and a technique to harness double fixed point combinators |