![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.