Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/logcom/logcom34.bht:"
download as .bib file
@article{DBLP:journals/logcom/BenthemB24,
author = {Johan van Benthem and
Nick Bezhanishvili},
title = {Modal structures in groups and vector spaces},
journal = {J. Log. Comput.},
volume = {34},
number = {1},
pages = {75--124},
year = {2024},
url = {https://doi.org/10.1093/logcom/exac105},
doi = {10.1093/LOGCOM/EXAC105},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BlanchetteR24,
author = {Glenn Blanchette and
Anthony Robins},
title = {Modelling Supra-Classical Logic in a Boltzmann Neural Network: {II}
Incongruence},
journal = {J. Log. Comput.},
volume = {34},
number = {1},
pages = {33--74},
year = {2024},
url = {https://doi.org/10.1093/logcom/exac104},
doi = {10.1093/LOGCOM/EXAC104},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BlanchetteR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CantorS24,
author = {Anthony Cantor and
Aaron Stump},
title = {Dual counterpart intuitionistic logic},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {590--634},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad019},
doi = {10.1093/LOGCOM/EXAD019},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CantorS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CarusoGMMP24,
author = {Simone Caruso and
Giuseppe Galat{\`{a}} and
Marco Maratea and
Marco Mochi and
Ivan Porro},
title = {Scheduling pre-operative assessment clinic with answer set programming},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {465--493},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad017},
doi = {10.1093/LOGCOM/EXAD017},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CarusoGMMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GhoshGL24,
author = {Sujata Ghosh and
Shreyas Gupta and
Lei Li},
title = {Bisimulation in model-changing modal logics: An algorithmic study},
journal = {J. Log. Comput.},
volume = {34},
number = {2},
pages = {399--427},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad018},
doi = {10.1093/LOGCOM/EXAD018},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GhoshGL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Groot24,
author = {Jim de Groot},
title = {Non-distributive positive logic as a fragment of first-order logic
over semilattices},
journal = {J. Log. Comput.},
volume = {34},
number = {1},
pages = {180--196},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad003},
doi = {10.1093/LOGCOM/EXAD003},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Groot24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kampik24,
author = {Timotheus Kampik},
title = {Kettle logic in abstract argumentation},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {528--556},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad027},
doi = {10.1093/LOGCOM/EXAD027},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kampik24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KuchynkaR24,
author = {Petr Kuchynka and
Jir{\'{\i}} Raclavsk{\'{y}}},
title = {Completeness in partial type theory},
journal = {J. Log. Comput.},
volume = {34},
number = {1},
pages = {1--32},
year = {2024},
url = {https://doi.org/10.1093/logcom/exac089},
doi = {10.1093/LOGCOM/EXAC089},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KuchynkaR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Pailos24,
author = {Federico Matias Pailos},
title = {On all pure three-valued logics},
journal = {J. Log. Comput.},
volume = {34},
number = {1},
pages = {161--179},
year = {2024},
url = {https://doi.org/10.1093/logcom/exac087},
doi = {10.1093/LOGCOM/EXAC087},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Pailos24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Peltier24,
author = {Nicolas Peltier},
title = {Some techniques for reasoning automatically on co-inductive data structures},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {429--464},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad028},
doi = {10.1093/LOGCOM/EXAD028},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Peltier24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Servi24,
author = {Gis{\`{e}}le Fischer Servi},
title = {Nonmonotonic inferences: Classical conclusions in an intuitionistic
modal framework},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {494--527},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad020},
doi = {10.1093/LOGCOM/EXAD020},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Servi24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Towsner24,
author = {Henry Towsner},
title = {What do ultraproducts remember about the original structures?},
journal = {J. Log. Comput.},
volume = {34},
number = {1},
pages = {125--160},
year = {2024},
url = {https://doi.org/10.1093/logcom/exac090},
doi = {10.1093/LOGCOM/EXAC090},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Towsner24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ugolini24,
author = {Sara Ugolini},
title = {The polyhedral geometry of Wajsberg hoops},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {557--589},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad007},
doi = {10.1093/LOGCOM/EXAD007},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ugolini24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/X24,
title = {Correction to: Argumentation Frameworks with Attack Classification},
journal = {J. Log. Comput.},
volume = {34},
number = {3},
pages = {635},
year = {2024},
url = {https://doi.org/10.1093/logcom/exad026},
doi = {10.1093/LOGCOM/EXAD026},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/X24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-06-13 13:11 CEST from data curated 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:
