Stop the war!
Остановите войну!
for scientists:
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
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.