default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 35
Volume 35, Number 1, 2025
- Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
Uncertainty-based knowing how logic. 1-35 - Shay Allen Logan:
Nondeterministic and nonconcurrent computational semantics for BB+ and related logics. 36-56 - Philippe Balbiani, Quentin Gougeon:
Projective relative unification through duality. 57-80 - Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi:
Conjunctive degrees and cylinders. 81-94 - Alexander V. Gheorghiu
, David J. Pym:
Defining logical systems via algebraic constraints on proofs. 95-146 - Jiachao Wu, Hengfei Li:
Renovation sets and their applications in higher-order argumentation frameworks. 147-171 - Reinhard Kahle, Isabel Oitavem, Paulo Guilherme Santos:
Numeral completeness of weak theories of arithmetic. 172-193 - Correction to: Conjunctive degrees and cylinders. 194
Volume 35, Number 2, 2025
- Francisco N. Martínez-Aviña:
Changing the logic without changing the subject: the case of computability. - Marat Kh. Faizrahmanov:
Fixed point theorems for minimal numberings. - Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko:
Fuzzy bi-Gödel modal logic and its paraconsistent relatives. - Antoine Martina, Alexander Steen:
An encoding of abstract dialectical frameworks into higher-order logic. - Ethan Brauer:
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs. - Birzhan S. Kalmurzayev, Nikolay A. Bazhenov, Alibek M. Iskakov:
Computably enumerable equivalence relations via primitive recursive reductions. - Yukihiro Oda, James Brotherston, Makoto Tatsuta:
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions. - Sara Ayhan:
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations. - Ethan Brauer:
Coarsening natural deduction proofs II: finding gaunt proofs. - João F. L. Alcântara, Renan Cordeiro:
Bipolar Argumentation Frameworks with a dual relation between defeat and defence. - Marija Boricic Joksimovic, Nebojsa Ikodinovic, Nenad Stojanovic:
Probability and natural deduction. - Ismael Calomino, Gustavo Pelaitay, William Javier Zuluaga Botero:
An alternative definition of tense operators on residuated lattices. - Andrey N. Frolov, Maxim V. Zubkov:
Low scattered linear orders. - Mikhail N. Rybakov, Dmitry Shkatov:
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames. - Pawel Pawlowski, Daniel Skurt:
☐ and ◇ in eight-valued non-deterministic semantics for modal logics. - Haruka Kogure, Taishi Kurahashi:
On the conservation results for local reflection principles.
Volume 35, Number 3, 2025
- Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Modal algebra of multirelations. - Belén Gimenez, Gustavo Pelaitay, William Zuluaga:
A Stone-type duality for semilattices with adjunctions. - Sergei Artemov:
Serial properties, selector proofs and the provability of consistency. - Neil Tennant:
Perfect proofs at first order. - Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema:
Logics with probabilistic team semantics and the Boolean negation. - Correction to: Checking trustworthiness of probabilistic computations in a typed natural deduction system.
- Esther Anna Corsi:
Attack principles in sequent-based argumentation theory. - Siqi Zhang, Xiaolin Qin, Ju Zhang, Jiang Liu:
Estimating event probabilities via signal temporal logic and first occurrence distributions. - Stefano Bonzio, Nicolò Zamperlin:
Modal weak Kleene logics: axiomatizations and relational semantics. - Sergey Drobyshevich:
Weak Belnapian modal logic. - Mohadese Nazifi, Mohsen Asghari Larimi, Mahmood Bakhshi:
Generalization of filter theory of EQ-algebras based on lattices. - Xiaoxuan Fu, Zhiguang Zhao:
Numerical expressive power of logical languages with cardinality comparison. - Janis Cirulis:
Remarks on skew Hilbert algebras and weak BCK*-algebras. - Mario Piazza, Matteo Tesi:
Analyticity with extra-logical information. - Correction to: Modalities combining two negations.
- Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri:
A correct-by-construction approach for development of reliable planning problems. - Pawel Pawlowski, Thomas M. Ferguson, Ethan Gertler:
A Gödel-Dugundji-style theorem for the minimal structural logic. - Yuki Nishimura:
Completeness of tableau calculi for two-dimensional hybrid logics. - Huan Zhang, Songmao Zhang:
Necessary and sufficient conditions of the enforcement problem for various argumentation semantics. - Mihai Prunescu, Lorenzo Sauras Altuzarra:
Computational considerations on the representation of number-theoretic functions by arithmetic terms. - Bruno Da Ré, Damián Enrique Szmuc:
Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems. - Theo A. F. Kuipers:
Nomic truthlikeness in the light of a probabilistic representation of propositions.
Volume 35, Number 4, 2025
- Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map.
- Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues:
Normalization and cut-elimination theorems for some logics of evidence and truth. - Didier Galmiche, Brandon Hornbeck, Daniel Méry:
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. - Quentin Gougeon:
Computing most general unifiers in Euclidean modal logics. - Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini:
Tense logics based on posets. - Birzhan S. Kalmurzayev, Nikolay Bazhenov, Alibek M. Iskakov:
Undecidability of the degree structure of primitive recursive m-reducibility. - Václav Cenker, Ivan Chajda, Helmut Länger:
The variety of complemented lattices where conjunction and implication form an adjoint pair. - Theofanis Aravanis:
Tailoring disjoint belief structures to the AGM framework. - Supeng Wu, Xingliang Liang, Jiang Yang:
On α-state filters in state residuated lattices. - Dag Normann, Sam Sanders:
On some computational properties of open sets. - Sandro Preto, Marcelo Finger:
Nash meets Łukasiewicz: computing equilibria through logic. - Mikhail N. Rybakov, Dmitry Shkatov:
Polytime embedding of intuitionistic modal logics into their one-variable fragments. - Francesca Poggiolesi:
(Conceptual) explanations in logic. - Jean B. Nganou:
MV-frames. - Ruslan Enikeev:
To the logical foundations of random number generator construction.
Volume 35, Number 5, 2025
- Mario R. F. Benevides, Leandro Gomes, Bruno Lopes:
Towards determinism in PDL: relations and proof theory. - Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto:
Congruence filter pairs, equational filter pairs and adjoints. - Leandro Fiorini Aurichi, Lucas Silva Sinzato Real:
Unfriendly partitions when avoiding vertices of finite degree. - Yong Cheng:
On Rosser theories. - Ana Luiza Tenorio, Caio de Andrade Mendes, Hugo Luiz Mariano:
On sheaves on semicartesian quantales and their truth values. - Marcelo Finger, Sandro Preto:
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. - Stefano Baratella:
On the weak completeness of a fragment of linear temporal logic. - Vitor Machado, Mario R. F. Benevides:
Temporal logics for compartmental models. - Murdoch James Gabbay:
Semitopology: a topological approach to decentralized collaborative action. - Timothy H. McNicholl:
Evaluative presentations. - Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
Computational paths - a weak groupoid. - Edward Hermann Haeusler, Ciro Russo, Gisele Dalva Secco:
Proceedings of the XX Encontro Brasileiro de Lógica. - José Luis Castiglioni, Rodolfo Cristian Ertola Biraben:
Modalities combining two negations. - Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri:
A logical perspective on intending to keep a true secret. - Ugo C. M. Almeida, Darllan Conceição Pinto:
Expanding the Leibniz Hierarchy. - Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto:
Descriptive complexity for distributed computing with circuits. - Matthias Thimm:
Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation. - Taishi Kurahashi, Kohei Tominaga:
Smullyan's truth and provability. - Luisa Marie Després, Ulrich Kohlenbach:
Herbrand analyses in geometry: A case study.
Volume 35, Number 6, 2025
- Timon Barlag, Heribert Vollmer:
A logical characterization of constant-depth circuits over the reals. - Asta Halkjær From:
Formalized soundness and completeness of epistemic and public announcement logic. - Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali:
Uniform lyndon interpolation for basic non-normal modal and conditional logics. - Hans van Ditmarsch, Roman Kuznets:
Wanted dead or alive: epistemic logic for impure simplicial complexes. - Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann:
The adjacent fragment and Quine's limits of decision. - Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao:
A calculus for modal compact Hausdorff spaces. - Atefeh Rohani, Thomas Studer:
Explicit non-normal modal logic. - Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz:
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021. - Pietro Galliani:
Doubly strongly first-order dependencies. - Jan Lastovicka:
A domain calculus based on Heyting-valued logic. - Serikzhan A. Badaev, Nikolay Bazhenov, Sergey Goncharov, Birzhan S. Kalmurzayev, Alexander G. Melnikov:
A non-computable c.e. closed subset of [0,1]. - Santiago Figueira, Gabriel Goren Roig:
Modal logic with relations over paths: A theoretical development through comonadic semantics. - Fabio Aurelio D'Asaro, Francesco A. Genco, Giuseppe Primiero:
Checking trustworthiness of probabilistic computations in a typed natural deduction system. - Robert Freiman:
Games for hybrid logic from semantic games to analytic calculi. - Shengyang Zhong:
Propositional logic and modal logic - A connection via relational semantics. - Federico Almiñana, Gustavo Pelaitay:
On Heyting algebras with negative tense operators II. - Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales:
Separability and harmony in ecumenical systems. - Michal Konecný, Sewon Park, Holger Thies:
Extracting efficient exact real number computation from proofs in constructive type theory. - Niccolò Veltri:
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories. - Iris van der Giessen, Raheleh Jalali, Roman Kuznets:
Uniform interpolation via nested sequents and hypersequents.
Volume 35, Number 7, 2025
- Francesco Olivieri:
Dynamic superiorities in Defeasible Logic. - Kexu Wang, Shiguang Feng, Xishun Zhao:
The logics for the complexity classes with limited non-determinism. - David Billington:
Principles of logics for plausible reasoning. - Jim de Groot, Ian Shillito:
Intuitionistic S4 as a logic of topological spaces. - Xuefeng Wen:
Conditionals and modals in contexts. - Jiachao Wu, Shuai Tang, Ning Zhou:
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks. - John L. Bell:
A representation theory for modal distributive lattices. - Thomas Macaulay Ferguson, Jitka Kadleciková:
Care-theoretic semantics. - C. Smorynski:
Playwright Gerhard Gentzen. - Francesco Olivieri, Matteo Cristani, Guido Governatori, Luca Pasetto, Antonino Rotolo, Simone Scannapieco, Claudio Tomazzoli, Tewabe Chekole Workneh:
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic. - Can Baskent, David R. Gilbert, Giorgio Venturi:
Logics of spatial isolation. - Wilfrid Hodges:
Avicenna's logics with sentence-type terms: 1. Wholly muttaṣil syllogisms. - Alexander Leitsch, Anela Lolic:
Extracting Herbrand systems from refutation schemata. - Ronald Fagin:
Applying Theory to Practice. - Peter Fritz:
Nonconservative extensions by propositional quantifiers and modal incompleteness. - Yuta Sato:
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle. - Yuri Gurevich:
The umbilical cord of finite model theory. - David Makinson:
Hamilton's cumular conception of quantifying particles: an exercise in third-order logic. - Guillermo Badia, Sasha Rubin:
Editorial: special issue on the Australasian Logic Colloquium 2023.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
