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/logcom28.bht:"
download as .bib file
@article{DBLP:journals/logcom/AlechinaLL18,
author = {Natasha Alechina and
Fenrong Liu and
Brian Logan},
title = {Efficient minimal preference change},
journal = {J. Log. Comput.},
volume = {28},
number = {8},
pages = {1715--1733},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv027},
doi = {10.1093/LOGCOM/EXV027},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AlechinaLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AndersonP18,
author = {Gabrielle Anderson and
David J. Pym},
title = {Trust domains in system models: algebra, logic, utility, and combinators},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {665--703},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv030},
doi = {10.1093/LOGCOM/EXV030},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AndersonP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AngiusP18,
author = {Nicola Angius and
Giuseppe Primiero},
title = {The logic of identity and copy for computational artefacts},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1293--1322},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy012},
doi = {10.1093/LOGCOM/EXY012},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AngiusP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArecesFHM18,
author = {Carlos Areces and
Raul Fervari and
Guillaume Hoffmann and
Mauricio Martel},
title = {Satisfiability for relation-changing logics},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1443--1470},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy022},
doi = {10.1093/LOGCOM/EXY022},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArecesFHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArieliBS18,
author = {Ofer Arieli and
Annemarie Borg and
Christian Stra{\ss}er},
title = {Reasoning with maximal consistency by argumentative approaches},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1523--1563},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy027},
doi = {10.1093/LOGCOM/EXY027},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArieliBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AucherBG18,
author = {Guillaume Aucher and
Johan van Benthem and
Davide Grossi},
title = {Modal logics of sabotage revisited},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {269--303},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx034},
doi = {10.1093/LOGCOM/EXX034},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AucherBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalbianiB18,
author = {Philippe Balbiani and
Joseph Boudou},
title = {Iteration-free {PDL} with storing, recovering and parallel composition:
a complete axiomatization},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {705--731},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv035},
doi = {10.1093/LOGCOM/EXV035},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalbianiB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalbianiGT18,
author = {Philippe Balbiani and
Dimiter Georgiev and
Tinko Tinchev},
title = {Modal correspondence theory in the class of all Euclidean frames},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {119--131},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx033},
doi = {10.1093/LOGCOM/EXX033},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalbianiGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumannB18,
author = {Ringo Baumann and
Gerhard Brewka},
title = {The equivalence zoo for Dung-style semantics},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {477--498},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv001},
doi = {10.1093/LOGCOM/EXV001},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaumannB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaveraB18,
author = {Francisco Bavera and
Eduardo Bonelli},
title = {Justification logic and audited computation},
journal = {J. Log. Comput.},
volume = {28},
number = {5},
pages = {909--934},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv037},
doi = {10.1093/LOGCOM/EXV037},
timestamp = {Mon, 06 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaveraB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeckmannP18,
author = {Arnold Beckmann and
Norbert Preining},
title = {Hyper Natural Deduction for G{\"{o}}del Logic - {A} natural deduction
system for parallel reasoning},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1125--1187},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy019},
doi = {10.1093/LOGCOM/EXY019},
timestamp = {Mon, 10 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeckmannP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BellinCC18,
author = {Gianluigi Bellin and
Massimiliano Carrara and
Daniele Chiffi},
title = {On an intuitionistic logic for pragmatics},
journal = {J. Log. Comput.},
volume = {28},
number = {5},
pages = {935--966},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv036},
doi = {10.1093/LOGCOM/EXV036},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BellinCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemEGS18,
author = {Johan van Benthem and
Jan van Eijck and
Malvin Gattinger and
Kaile Su},
title = {Symbolic model checking for Dynamic Epistemic Logic - {S5} and beyond},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {367--402},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx038},
doi = {10.1093/LOGCOM/EXX038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemEGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BistarelliRS18,
author = {Stefano Bistarelli and
Fabio Rossi and
Francesco Santini},
title = {Not only size, but also shape counts: abstract argumentation solvers
are benchmark-sensitive},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {85--117},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx031},
doi = {10.1093/LOGCOM/EXX031},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BistarelliRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BodirskyBPP18,
author = {Manuel Bodirsky and
David Bradley{-}Williams and
Michael Pinsker and
Andr{\'{a}}s Pongr{\'{a}}cz},
title = {The universal homogeneous binary tree},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {133--163},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx043},
doi = {10.1093/LOGCOM/EXX043},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BodirskyBPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BolanderG18,
author = {Thomas Bolander and
Nina Gierasimczuk},
title = {Learning to act: qualitative learning of deterministic action models},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {337--365},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx036},
doi = {10.1093/LOGCOM/EXX036},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BolanderG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CalvertFHKMSV18,
author = {Wesley Calvert and
Andrey N. Frolov and
Valentina S. Harizanov and
Julia F. Knight and
Charles F. D. McCoy and
Alexandra A. Soskova and
Stefan V. Vatev},
title = {Strong jump inversion},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1499--1522},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy025},
doi = {10.1093/LOGCOM/EXY025},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/CalvertFHKMSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CayrolDT18,
author = {Claudette Cayrol and
Didier Dubois and
Fay{\c{c}}al Touazi},
title = {Symbolic possibilistic logic: completeness and inference methods},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {219--244},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx046},
doi = {10.1093/LOGCOM/EXX046},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CayrolDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CourtaultG18,
author = {Jean{-}Ren{\'{e}} Courtault and
Didier Galmiche},
title = {A modal separation logic for resource dynamics},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {733--778},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv031},
doi = {10.1093/LOGCOM/EXV031},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CourtaultG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DelobelleKV18,
author = {J{\'{e}}r{\^{o}}me Delobelle and
S{\'{e}}bastien Konieczny and
Srdjan Vesic},
title = {On the aggregation of argumentation frameworks: operators and postulates},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1671--1699},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy023},
doi = {10.1093/LOGCOM/EXY023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DelobelleKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Demey18,
author = {Lorenz Demey},
title = {Computing the maximal Boolean complexity of families of Aristotelian
diagrams},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1323--1339},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy015},
doi = {10.1093/LOGCOM/EXY015},
timestamp = {Mon, 10 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Demey18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dennis0W18,
author = {Louise A. Dennis and
Michael Fisher and
Matt Webster},
title = {Two-stage agent program verification},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {499--523},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv002},
doi = {10.1093/LOGCOM/EXV002},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Dennis0W18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DeuserN18,
author = {Kaya Deuser and
Pavel Naumov},
title = {Navigability with intermediate constraints},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1647--1670},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy021},
doi = {10.1093/LOGCOM/EXY021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DeuserN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DouvenR18,
author = {Igor Douven and
Hans Rott},
title = {From probabilities to categorical beliefs: Going beyond toy models},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1099--1124},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy017},
doi = {10.1093/LOGCOM/EXY017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DouvenR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Enqvist18,
author = {Sebastian Enqvist},
title = {Flat modal fixpoint logics with the converse modality},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1065--1097},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy016},
doi = {10.1093/LOGCOM/EXY016},
timestamp = {Mon, 10 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Enqvist18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EnqvistS18,
author = {Sebastian Enqvist and
Sumit Sourabh},
title = {Bisimulations for coalgebras on Stone spaces},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {991--1010},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy001},
doi = {10.1093/LOGCOM/EXY001},
timestamp = {Mon, 10 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EnqvistS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrittaionPSY18,
author = {Emanuele Frittaion and
Florian Pelupessy and
Silvia Steila and
Keita Yokoyama},
title = {The strength of {SCT} soundness},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1217--1242},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy003},
doi = {10.1093/LOGCOM/EXY003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FrittaionPSY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GalmicheP18,
author = {Didier Galmiche and
David J. Pym},
title = {Preface},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {629--630},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv029},
doi = {10.1093/LOGCOM/EXV029},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GalmicheP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GalmicheS18,
author = {Didier Galmiche and
Yakoub Salhi},
title = {Tree-sequent calculi and decision procedures for intuitionistic modal
logics},
journal = {J. Log. Comput.},
volume = {28},
number = {5},
pages = {967--989},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv039},
doi = {10.1093/LOGCOM/EXV039},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GalmicheS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GarnerH18,
author = {Richard Garner and
Tom Hirschowitz},
title = {Shapely monads and analytic functors},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {33--83},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx029},
doi = {10.1093/LOGCOM/EXX029},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GarnerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GomesA18,
author = {Ana Sofia Gomes and
Jos{\'{e}} J{\'{u}}lio Alferes},
title = {Combining transactions and automatic repairs},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {525--550},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv006},
doi = {10.1093/LOGCOM/EXV006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GomesA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GrecoMPTZ18,
author = {Giuseppe Greco and
Minghui Ma and
Alessandra Palmigiano and
Apostolos Tzimoulis and
Zhiguang Zhao},
title = {Unified correspondence as a proof-theoretic tool},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1367--1442},
year = {2018},
url = {https://doi.org/10.1093/logcom/exw022},
doi = {10.1093/LOGCOM/EXW022},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GrecoMPTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GrossiR18,
author = {Davide Grossi and
Olivier Roy},
title = {Introduction: Selected Papers from the 4th Workshop on Logic, Rationality
and Interaction {(LORI-4)}},
journal = {J. Log. Comput.},
volume = {28},
number = {8},
pages = {1713--1714},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv024},
doi = {10.1093/LOGCOM/EXV024},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GrossiR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gurvich18,
author = {Vladimir Gurvich},
title = {Backward induction in presence of cycles},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1635--1646},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy020},
doi = {10.1093/LOGCOM/EXY020},
timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Gurvich18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gutierrez18,
author = {Julian Gutierrez},
title = {On fixpoint logics and equivalences for processes with restricted
nondeterminism},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {779--807},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv032},
doi = {10.1093/LOGCOM/EXV032},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Gutierrez18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HansenBB18,
author = {Jens Ulrik Hansen and
Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Many-valued hybrid logic},
journal = {J. Log. Comput.},
volume = {28},
number = {5},
pages = {883--908},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv040},
doi = {10.1093/LOGCOM/EXV040},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HansenBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HoekHW18,
author = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Editorial Logic, Rationality and Interaction {(LORI-5):} Introduction
to the Special Issue},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {265--267},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx037},
doi = {10.1093/LOGCOM/EXX037},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HoekHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HouGT18,
author = {Zhe Hou and
Rajeev Gor{\'{e}} and
Alwen Tiu},
title = {A labelled sequent calculus for {BBI:} proof theory and proof search},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {809--872},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv033},
doi = {10.1093/LOGCOM/EXV033},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/HouGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Iemhoff18,
author = {Rosalie Iemhoff},
title = {Terminating sequent calculi for two intuitionistic modal logics},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1701--1712},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy026},
doi = {10.1093/LOGCOM/EXY026},
timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Iemhoff18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/JamrogaT18,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
title = {Accumulative knowledge under bounded resources},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {581--604},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv003},
doi = {10.1093/LOGCOM/EXV003},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/JamrogaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/JuL18,
author = {Fengkui Ju and
Li Liang},
title = {Commands changing obligations 1},
journal = {J. Log. Comput.},
volume = {28},
number = {8},
pages = {1735--1755},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv025},
doi = {10.1093/LOGCOM/EXV025},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/JuL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide18,
author = {Norihiro Kamide},
title = {Decidable temporal and sequential relevant logics},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {403--432},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx041},
doi = {10.1093/LOGCOM/EXX041},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LahavZ18,
author = {Ori Lahav and
Yoni Zohar},
title = {From the subformula property to cut-admissibility in propositional
sequent calculi},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1341--1366},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy018},
doi = {10.1093/LOGCOM/EXY018},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LahavZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lavalette18,
author = {Gerard R. Renardel de Lavalette},
title = {Interpolation in propositional Horn logic},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1189--1215},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx042},
doi = {10.1093/LOGCOM/EXX042},
timestamp = {Mon, 10 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lavalette18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeiteSTW18,
author = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Stefan Woltran},
title = {Preface to the Special Issue on Computational Logic in Multi-Agent
Systems {(CLIMA} {XIV)}},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {475--476},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv005},
doi = {10.1093/LOGCOM/EXV005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeiteSTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Li18,
author = {Yanjun Li},
title = {Tableaux for a combination of propositional dynamic logic and epistemic
logic with interactions},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {451--473},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx040},
doi = {10.1093/LOGCOM/EXX040},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Li18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiP0VH18,
author = {Jianwen Li and
Geguang Pu and
Lijun Zhang and
Moshe Y. Vardi and
Jifeng He},
title = {Accelerating {LTL} satisfiability checking by {SAT} solvers},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1011--1030},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy013},
doi = {10.1093/LOGCOM/EXY013},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/LiP0VH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiaoXH18,
author = {Beishui Liao and
Kang Xu and
Huaxin Huang},
title = {Formulating semantics of probabilistic argumentation by characterizing
subgraphs: theory and empirical results},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {305--335},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx035},
doi = {10.1093/LOGCOM/EXX035},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LiaoXH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MaS18,
author = {Minghui Ma and
Katsuhiko Sano},
title = {How to update neighbourhood models},
journal = {J. Log. Comput.},
volume = {28},
number = {8},
pages = {1781--1804},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv026},
doi = {10.1093/LOGCOM/EXV026},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/MaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Magri18,
author = {Giorgio Magri},
title = {A note on phonological similarity in Tesar's {(2014)} theory of output-drivenness},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1243--1274},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy002},
doi = {10.1093/LOGCOM/EXY002},
timestamp = {Mon, 10 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Magri18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MartinS18,
author = {Eric Martin and
Frank Stephan},
title = {Implementing fragments of {ZFC} within an r.e. Universe},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {1--32},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx030},
doi = {10.1093/LOGCOM/EXX030},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MartinS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NguyenALR18,
author = {Hoang Nga Nguyen and
Natasha Alechina and
Brian Logan and
Abdur Rakib},
title = {Alternating-time temporal logic with resource bounds},
journal = {J. Log. Comput.},
volume = {28},
number = {4},
pages = {631--663},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv034},
doi = {10.1093/LOGCOM/EXV034},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NguyenALR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NolaLL18,
author = {Antonio Di Nola and
Serafina Lapenta and
Ioana Leustean},
title = {Infinitary logic and basically disconnected compact Hausdorff spaces},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1275--1292},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy011},
doi = {10.1093/LOGCOM/EXY011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NolaLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NovaroGH18,
author = {Arianna Novaro and
Umberto Grandi and
Andreas Herzig},
title = {Judgment aggregation in dynamic logic of propositional assignments},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1471--1498},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy024},
doi = {10.1093/LOGCOM/EXY024},
timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/NovaroGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Olkhovikov18,
author = {Grigory K. Olkhovikov},
title = {Stit logic of justification announcements: a completeness result},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1031--1064},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy014},
doi = {10.1093/LOGCOM/EXY014},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Olkhovikov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PardoG18,
author = {Pere Pardo and
Llu{\'{\i}}s Godo},
title = {A temporal argumentation approach to cooperative planning using dialogues},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {551--580},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv007},
doi = {10.1093/LOGCOM/EXV007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/PardoG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PintoU18,
author = {Lu{\'{\i}}s Pinto and
Tarmo Uustalu},
title = {A proof-theoretic study of bi-intuitionistic propositional sequent
calculus},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {165--202},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx044},
doi = {10.1093/LOGCOM/EXX044},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PintoU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ripley18,
author = {David Ripley},
title = {On the 'transitivity' of consequence relations},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {433--450},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx039},
doi = {10.1093/LOGCOM/EXX039},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Ripley18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SchwindKM18,
author = {Nicolas Schwind and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {Belief base rationalization for propositional merging},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1601--1634},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy029},
doi = {10.1093/LOGCOM/EXY029},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SchwindKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SergioliF18,
author = {Giuseppe Sergioli and
Hector Freytes},
title = {Fuzzy approach to quantum Fredkin gate},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {245--263},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx032},
doi = {10.1093/LOGCOM/EXX032},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SergioliF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SestiniC18,
author = {Filippo Sestini and
Silvia Crafa},
title = {Proof search in a context-sensitive logic for molecular biology},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1565--1600},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy028},
doi = {10.1093/LOGCOM/EXY028},
timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SestiniC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Simmons18,
author = {Andrew W. Simmons},
title = {On the computational complexity of detecting possibilistic locality},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {203--217},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx045},
doi = {10.1093/LOGCOM/EXX045},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Simmons18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/StewartPA18,
author = {Charles A. Stewart and
Valeria de Paiva and
Natasha Alechina},
title = {Intuitionistic Modal Logic: {A} 15-year retrospective},
journal = {J. Log. Comput.},
volume = {28},
number = {5},
pages = {873--882},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv042},
doi = {10.1093/LOGCOM/EXV042},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/StewartPA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Strass18,
author = {Hannes Strass},
title = {Instantiating rule-based defeasible theories in abstract dialectical
frameworks and beyond},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {605--627},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv004},
doi = {10.1093/LOGCOM/EXV004},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Strass18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Sun18,
author = {Xin Sun},
title = {Proof theory, semantics and algebra for normative systems},
journal = {J. Log. Comput.},
volume = {28},
number = {8},
pages = {1757--1779},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv022},
doi = {10.1093/LOGCOM/EXV022},
timestamp = {Wed, 19 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Sun18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Velazquez-Quesada18,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Bisimulation characterization and expressivity hierarchy of languages
for epistemic awareness models},
journal = {J. Log. Comput.},
volume = {28},
number = {8},
pages = {1805--1832},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv023},
doi = {10.1093/LOGCOM/EXV023},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Velazquez-Quesada18.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-04-25 03:17 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:
