Stop the war!Остановите войну!
for scientists:
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 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
a service of 
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 2024-05-19 23:58 CEST 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:
