Journal: Journal of Logic and Computation

Volume 35, Issue 4

0 -- 0Jean B. Nganou. MV-frames
0 -- 0Theofanis Aravanis. Tailoring disjoint belief structures to the AGM framework
0 -- 0Dag Normann, Sam Sanders. On some computational properties of open sets
0 -- 0Sandro Preto, Marcelo Finger. Nash meets Łukasiewicz: computing equilibria through logic
0 -- 0Birzhan S. Kalmurzayev, Nikolay Bazhenov 0001, Alibek M. Iskakov. m-reducibility
0 -- 0Didier Galmiche, Brandon Hornbeck, Daniel Méry. Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity
0 -- 0Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues. Normalization and cut-elimination theorems for some logics of evidence and truth
0 -- 0Quentin Gougeon. Computing most general unifiers in Euclidean modal logics
0 -- 0Ruslan Enikeev. To the logical foundations of random number generator construction
0 -- 0Supeng Wu, Xingliang Liang, Jiang Yang. α-state filters in state residuated lattices
0 -- 0Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini. Tense logics based on posets
0 -- 0Mikhail N. Rybakov, Dmitry Shkatov. Polytime embedding of intuitionistic modal logics into their one-variable fragments
0 -- 0Václav Cenker, Ivan Chajda, Helmut Länger. The variety of complemented lattices where conjunction and implication form an adjoint pair
0 -- 0. Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map
0 -- 0Francesca Poggiolesi. (Conceptual) explanations in logic

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

Volume 35, Issue 2

0 -- 0Ismael Calomino, Gustavo Pelaitay, William Javier Zuluaga Botero. An alternative definition of tense operators on residuated lattices
0 -- 0Mikhail N. Rybakov, Dmitry Shkatov. Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
0 -- 0João F. L. Alcântara, Renan Cordeiro. Bipolar Argumentation Frameworks with a dual relation between defeat and defence
0 -- 0Francisco N. Martínez-Aviña. Changing the logic without changing the subject: the case of computability
0 -- 0Marat Kh. Faizrahmanov. Fixed point theorems for minimal numberings
0 -- 0Haruka Kogure, Taishi Kurahashi. On the conservation results for local reflection principles
0 -- 0Marija Boricic Joksimovic, Nebojsa Ikodinovic, Nenad Stojanovic. Probability and natural deduction
0 -- 0Sara Ayhan. Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations
0 -- 0Yukihiro Oda, James Brotherston, Makoto Tatsuta. The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
0 -- 0Ethan Brauer. Coarsening natural deduction proofs II: finding gaunt proofs
0 -- 0Andrey N. Frolov, Maxim V. Zubkov. Low scattered linear orders
0 -- 0Pawel Pawlowski, Daniel Skurt. ☐ and ◇ in eight-valued non-deterministic semantics for modal logics
0 -- 0Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko. Fuzzy bi-Gödel modal logic and its paraconsistent relatives
0 -- 0Antoine Martina, Alexander Steen. An encoding of abstract dialectical frameworks into higher-order logic
0 -- 0Ethan Brauer. Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
0 -- 0Birzhan S. Kalmurzayev, Nikolay A. Bazhenov, Alibek M. Iskakov. Computably enumerable equivalence relations via primitive recursive reductions

Volume 35, Issue 1

1 -- 35Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada. Uncertainty-based knowing how logic
36 -- 56Shay Allen Logan. Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
57 -- 80Philippe Balbiani, Quentin Gougeon. Projective relative unification through duality
81 -- 94Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi. Conjunctive degrees and cylinders
95 -- 146Alexander V. Gheorghiu, David J. Pym. Defining logical systems via algebraic constraints on proofs
147 -- 171Jiachao Wu, Hengfei Li. Renovation sets and their applications in higher-order argumentation frameworks
172 -- 193Reinhard Kahle, Isabel Oitavem, Paulo Guilherme Santos. Numeral completeness of weak theories of arithmetic
194 -- 0. Correction to: Conjunctive degrees and cylinders