Journal: Journal of Logic and Computation

Volume 35, Issue 6

0 -- 0Pietro Galliani. Doubly strongly first-order dependencies
0 -- 0Atefeh Rohani, Thomas Studer. Explicit non-normal modal logic
0 -- 0Santiago Figueira, Gabriel Goren Roig. Modal logic with relations over paths: A theoretical development through comonadic semantics
0 -- 0Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales. Separability and harmony in ecumenical systems
0 -- 0Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali. Uniform lyndon interpolation for basic non-normal modal and conditional logics
0 -- 0Iris van der Giessen, Raheleh Jalali, Roman Kuznets. Uniform interpolation via nested sequents and hypersequents
0 -- 0Hans van Ditmarsch, Roman Kuznets. Wanted dead or alive: epistemic logic for impure simplicial complexes
0 -- 0Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao. A calculus for modal compact Hausdorff spaces
0 -- 0Federico Almiñana, Gustavo Pelaitay. On Heyting algebras with negative tense operators II
0 -- 0Shengyang Zhong. Propositional logic and modal logic - A connection via relational semantics
0 -- 0Serikzhan A. Badaev, Nikolay Bazhenov 0001, Sergey Goncharov 0002, Birzhan S. Kalmurzayev, Alexander G. Melnikov. A non-computable c.e. closed subset of [0,1]
0 -- 0Asta Halkjær From. Formalized soundness and completeness of epistemic and public announcement logic
0 -- 0Jan Lastovicka. A domain calculus based on Heyting-valued logic
0 -- 0Fabio Aurelio D'Asaro, Francesco A. Genco, Giuseppe Primiero. Checking trustworthiness of probabilistic computations in a typed natural deduction system
0 -- 0Niccolò Veltri. Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
0 -- 0Timon Barlag, Heribert Vollmer. A logical characterization of constant-depth circuits over the reals
0 -- 0Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann. The adjacent fragment and Quine's limits of decision
0 -- 0Robert Freiman. Games for hybrid logic from semantic games to analytic calculi
0 -- 0Alexandra Silva 0001, Renata Wassermann, Ruy J. G. B. de Queiroz. 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021
0 -- 0Michal Konecný, Sewon Park 0001, Holger Thies. Extracting efficient exact real number computation from proofs in constructive type theory

Volume 35, Issue 5

0 -- 0Leandro Fiorini Aurichi, Lucas Silva Sinzato Real. Unfriendly partitions when avoiding vertices of finite degree
0 -- 0Mario R. F. Benevides, Leandro Gomes 0001, Bruno Lopes 0001. Towards determinism in PDL: relations and proof theory
0 -- 0Ugo C. M. Almeida, Darllan Conceição Pinto. Expanding the Leibniz Hierarchy
0 -- 0Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto. Descriptive complexity for distributed computing with circuits
0 -- 0Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri. A logical perspective on intending to keep a true secret
0 -- 0Luisa Marie Després, Ulrich Kohlenbach. Herbrand analyses in geometry: A case study
0 -- 0Vitor Machado, Mario R. F. Benevides. Temporal logics for compartmental models
0 -- 0José Luis Castiglioni, Rodolfo Cristian Ertola Biraben. Modalities combining two negations
0 -- 0Taishi Kurahashi, Kohei Tominaga. Smullyan's truth and provability
0 -- 0Marcelo Finger, Sandro Preto. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
0 -- 0Stefano Baratella. On the weak completeness of a fragment of linear temporal logic
0 -- 0Murdoch James Gabbay. Semitopology: a topological approach to decentralized collaborative action
0 -- 0Edward Hermann Haeusler, Ciro Russo, Gisele Dalva Secco. Proceedings of the XX Encontro Brasileiro de Lógica
0 -- 0Peter Arndt 0001, Hugo Luiz Mariano, Darllan Conceição Pinto. Congruence filter pairs, equational filter pairs and adjoints
0 -- 0Matthias Thimm. Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation
0 -- 0Ana Luiza Tenorio, Caio de Andrade Mendes, Hugo Luiz Mariano. On sheaves on semicartesian quantales and their truth values
0 -- 0Yong Cheng. On Rosser theories
0 -- 0Timothy H. McNicholl. Evaluative presentations
0 -- 0Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira. Computational paths - a weak groupoid

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