default search action
Journal 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 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
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.