525 | -- | 526 | Marcello D'Agostino, Luciano Floridi. The logic and philosophy of information corner: Presentation and call for papers |
527 | -- | 547 | Arnold Beckmann, Norbert Preining. Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences |
549 | -- | 580 | George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren. Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations |
581 | -- | 611 | Norihiro Kamide. Trilattice logic: an embedding-based approach |
613 | -- | 638 | Eduardo Mizraji. Differential and integral calculus for logical operations. A matrix-vector approach |
639 | -- | 667 | Nils Bulling, Matei Popovici. A game-theoretic approach to compute stable topologies in mobile ad hoc networks |
669 | -- | 682 | Misha Gavrilovich, Assaf Hasson, Itay Kaplan. The Univalence Axiom in posetal model categories |
683 | -- | 699 | Leonardo Manuel Cabrer, Daniele Mundici. A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups |
701 | -- | 717 | Lawrence Peter Belluce, Antonio di Nola, Giacomo Lenzi. On generalizing the Nullstellensatz for MV algebras |
719 | -- | 742 | Louwe B. Kuijer. The expressivity of update logics |
743 | -- | 779 | Vincent Demange. 2 case |
781 | -- | 804 | Yongfeng Yuan, Shier Ju, Xuefeng Wen. Evaluative multiple revision based on core beliefs |
805 | -- | 825 | Andreas Pfandler, Reinhard Pichler, Stefan Woltran. The complexity of handling minimal solutions in logic-based abduction |
827 | -- | 856 | Md. Aquil Khan, Mohua Banerjee. Logics for some dynamic spaces-I |
857 | -- | 878 | Md. Aquil Khan, Mohua Banerjee. Logics for some dynamic spaces-II |
879 | -- | 897 | Miika Hannula, Juha Kontinen. Hierarchies in independence and inclusion logic with strict semantics |
899 | -- | 919 | Eugenio G. Omodeo, Alexandru I. Tomescu. Set Graphs. V. On representing graphs as membership digraphs |
921 | -- | 942 | Revantha Ramanayake. Embedding the hypersequent calculus in the display calculus |
943 | -- | 963 | Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner. Enumeration of the adjunctive hierarchy of hereditarily finite sets |
965 | -- | 977 | Frederik S. Herzberg. Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms |
979 | -- | 982 | Frederik Herzberg. Corrigendum and addendum to 'Universal algebra for general aggregation theory' |