0 | -- | 0 | Yuki Nishimura. Completeness of tableau calculi for two-dimensional hybrid logics |
0 | -- | 0 | Pawel Pawlowski, Thomas M. Ferguson, Ethan Gertler. A Gödel-Dugundji-style theorem for the minimal structural logic |
0 | -- | 0 | Hitoshi Furusawa, Walter Guttmann, Georg Struth. Modal algebra of multirelations |
0 | -- | 0 | Bruno Da Ré, Damián Enrique Szmuc. Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems |
0 | -- | 0 | Mohadese Nazifi, Mohsen Asghari Larimi, Mahmood Bakhshi. Generalization of filter theory of EQ-algebras based on lattices |
0 | -- | 0 | . Correction to: Modalities combining two negations |
0 | -- | 0 | Mario Piazza, Matteo Tesi. Analyticity with extra-logical information |
0 | -- | 0 | Sergei Artemov. Serial properties, selector proofs and the provability of consistency |
0 | -- | 0 | . Correction to: Checking trustworthiness of probabilistic computations in a typed natural deduction system |
0 | -- | 0 | Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood 0002, Arne Meier, Jonni Virtema. Logics with probabilistic team semantics and the Boolean negation |
0 | -- | 0 | Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri. A correct-by-construction approach for development of reliable planning problems |
0 | -- | 0 | Mihai Prunescu, Lorenzo Sauras Altuzarra. Computational considerations on the representation of number-theoretic functions by arithmetic terms |
0 | -- | 0 | Neil Tennant. Perfect proofs at first order |
0 | -- | 0 | Xiaoxuan Fu, Zhiguang Zhao. Numerical expressive power of logical languages with cardinality comparison |
0 | -- | 0 | Siqi Zhang, Xiaolin Qin, Ju Zhang, Jiang Liu. Estimating event probabilities via signal temporal logic and first occurrence distributions |
0 | -- | 0 | Sergey Drobyshevich. Weak Belnapian modal logic |
0 | -- | 0 | Esther Anna Corsi. Attack principles in sequent-based argumentation theory |
0 | -- | 0 | Janis Cirulis. Remarks on skew Hilbert algebras and weak BCK*-algebras |
0 | -- | 0 | Huan Zhang, Songmao Zhang. Necessary and sufficient conditions of the enforcement problem for various argumentation semantics |
0 | -- | 0 | Stefano Bonzio, Nicolò Zamperlin. Modal weak Kleene logics: axiomatizations and relational semantics |
0 | -- | 0 | Belén Gimenez, Gustavo Pelaitay, William Zuluaga. A Stone-type duality for semilattices with adjunctions |
0 | -- | 0 | Theo A. F. Kuipers. Nomic truthlikeness in the light of a probabilistic representation of propositions |