Journal: Journal of Logic and Computation

Volume 35, Issue 3

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