default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 34
Volume 34, Number 1, 2024
- Petr Kuchynka, Jirí Raclavský:
Completeness in partial type theory. 1-32 - Glenn Blanchette, Anthony V. Robins:
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence. 33-74 - Johan van Benthem, Nick Bezhanishvili
:
Modal structures in groups and vector spaces. 75-124 - Henry Towsner:
What do ultraproducts remember about the original structures? 125-160 - Federico Matias Pailos:
On all pure three-valued logics. 161-179 - Jim de Groot:
Non-distributive positive logic as a fragment of first-order logic over semilattices. 180-196
Volume 34, Number 2, 2024
- Sujata Ghosh, Shreyas Gupta, Lei Li:
Bisimulation in model-changing modal logics: An algorithmic study. 399-427
Volume 34, Number 3, 2024
- Nicolas Peltier:
Some techniques for reasoning automatically on co-inductive data structures. 429-464 - Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Scheduling pre-operative assessment clinic with answer set programming. 465-493 - Gisèle Fischer Servi:
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework. 494-527 - Timotheus Kampik:
Kettle logic in abstract argumentation. 528-556 - Sara Ugolini:
The polyhedral geometry of Wajsberg hoops. 557-589 - Anthony Cantor, Aaron Stump:
Dual counterpart intuitionistic logic. 590-634 - Correction to: Argumentation Frameworks with Attack Classification. 635
Volume 34, Number 4, 2024
- Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer:
Consistency and permission in deontic justification logic. 640-664 - Pere Pardo, Christian Straßer:
Modular orders on defaults in formal argumentation. 665-697 - Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo:
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic. 698-727 - Maya Olszewski, Xavier Parent, Leendert van der Torre:
Permissive and regulative norms in deontic logic. 728-763 - Tiziano Dalmonte, Charles Grellois, Nicola Olivetti:
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. 764-794
Volume 34, Number 5, 2024
- Xianglong Ruan:
Two kinds of enriched topological representations of Q-algebras. 795-814 - Marcello D'Agostino, Alejandro Solares-Rojas:
Tractable depth-bounded approximations to FDE and its satellites. 815-855 - José Luis Castiglioni, Víctor Fernández, Héctor Federico Mallea, Hernán Javier San Martín:
On subreducts of subresiduated lattices and some related logics. 856-886 - Rodrigo Nicolau Almeida:
Polyatomic logics and generalized Blok-Esakia theory. 887-935 - Bin Zhao, Wei Wang:
Prime spectrums of EQ-algebras. 936-962 - Yufeng Liu, Fan Yang, Jian Liu, Song Li:
A fuzzy structure processing mechanism for graph grammar. 963-976 - Georgios V. Pitsiladis, Petros S. Stefaneas:
A logical framework to model software development by multiple agents following a common specification. 977-1000 - Correction to: Arithmetical and Hyperarithmetical Worm Battles. 1001
- Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities. 1002
Volume 34, Number 6, 2024
- Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato:
90 years of Gödel's incompleteness theorems: Logic and computation. 1003-1009 - Yong Cheng:
Effective inseparability and some applications in meta-mathematics. 1010-1031 - Peter Dybjer, Anton Setzer:
The extended predicative Mahlo universe in Martin-Löf type theory. 1032-1063 - Anton Freund, Davide Manca:
Normal functions and maximal order types. 1064-1081 - Gerhard Jäger:
Tame and full strict-Π11 reflection: A proof-theoretic approach. 1082-1107 - Taishi Kurahashi:
The provability logic of all provability predicates. 1108-1135 - Mateusz Lelyk, Carlo Nicolai:
Implicit commitment in a general setting. 1136-1158 - Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser:
There are no minimal essentially undecidable theories. 1159-1171 - Saeed Salehi:
A reunion of Gödel, Tarski, Carnap and Rosser. 1172-1178 - Paulo Guilherme Santos, Wilfried Sieg, Reinhard Kahle:
A new perspective on completeness and finitist consistency. 1179-1198 - Lorenzo Sauras Altuzarra:
Some applications of Baaz's generalization method to the study of the factors of Fermat numbers. 1199-1209
Volume 34, Number 7, 2024
- Quentin Gougeon:
Some completeness results in derivational modal logic. 1211-1248 - Mario Piazza, Gabriele Pulcini, Matteo Tesi:
Linear logic in a refutational setting. 1249-1273 - Tong Niu, Shengping Xiao, Xiaoyu Zhang, Jianwen Li, Yanhong Huang, Jianqi Shi:
Computing minimal unsatisfiable core for LTL over finite traces. 1274-1294 - Guillermo Badia, John L. Bell:
A parametrized axiomatization for a large number of restricted second-order logics. 1295-1304 - Glenn Blanchette, Anthony V. Robins:
Modelling supra-classical logic in a Boltzmann neural network: III adaptation. 1305-1346 - Sophia Epstein, Pavel Naumov, Jia Tao:
An egocentric logic of de dicto and de re knowing who. 1347-1376 - Bart Jacobs, Bram Westerbaan, Omar Javed, Harm van Stekelenburg, Lian Vervoort, Jan den Besten:
PubHubs identity management. 1377-1396
Volume 34, Number 8, 2024
- Agostino Dovier, Andrea Formisano:
Advances in Computational Logic (CILC23): Preface. 1397-1398 - Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi:
Temporal duration-based probabilistic argumentation frameworks. 1399-1429 - Valentina Gliozzi, Gian Luca Pozzato, Gabriele Tessore, Alberto Valese:
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics. 1430-1468 - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. 1469-1499 - Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
The XAI system for answer set programming xASP2. 1500-1525 - Alex Della Schiava, Carla Piazza, Riccardo Romanello:
Classical computation over quantum architectures. 1526-1555 - Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu:
Operating room scheduling via answer set programming: Improved encoding and test on real data. 1556-1579 - Alessandro Bertagnon, Marco Gavanelli:
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. 1580-1607
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-02-21 19:35 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:
