default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/logcom/logcom27.bht:"
download as .bib file
@article{DBLP:journals/logcom/AgudeloC17,
author = {Juan Carlos Agudelo Agudelo and
Walter Carnielli},
title = {Polynomial ring calculus for modalities},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1853--1870},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv069},
doi = {10.1093/LOGCOM/EXV069},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AgudeloC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AguzzoliBGM17,
author = {Stefano Aguzzoli and
Manuela Busaniche and
Brunella Gerla and
Miguel Andr{\'{e}}s Marcos},
title = {On the category of Nelson paraconsistent lattices},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2227--2250},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx002},
doi = {10.1093/LOGCOM/EXX002},
timestamp = {Sat, 06 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AguzzoliBGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AguzzoliFU17,
author = {Stefano Aguzzoli and
Tommaso Flaminio and
Sara Ugolini},
title = {Equivalences between subcategories of MTL-algebras via Boolean algebras
and prelinear semihoops},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2525--2549},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx014},
doi = {10.1093/LOGCOM/EXX014},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AguzzoliFU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlechinaHL17,
author = {Natasha Alechina and
Wiebe van der Hoek and
Brian Logan},
title = {Fair decomposition of group obligations},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2043--2062},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx012},
doi = {10.1093/LOGCOM/EXX012},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlechinaHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Allo17,
author = {Patrick Allo},
title = {Hard and soft logical information},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2505--2524},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx010},
doi = {10.1093/LOGCOM/EXX010},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Allo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AndersonP17,
author = {Gabrielle Anderson and
David J. Pym},
title = {A Substructural Modal Logic of Utility},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1421--1464},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw030},
doi = {10.1093/LOGCOM/EXW030},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AndersonP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArecesCPT17,
author = {Carlos Areces and
Miguel Campercholi and
Daniel Penazzi and
Pedro S{\'{a}}nchez Terraf},
title = {The lattice of congruences of a finite line frame},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2653--2688},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx026},
doi = {10.1093/LOGCOM/EXX026},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArecesCPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArratiaO17,
author = {Argimiro Arratia and
Carlos E. Ortiz},
title = {Methods of class field theory to separate logics over finite residue
classes and circuit complexity},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {1987--2009},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx007},
doi = {10.1093/LOGCOM/EXX007},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArratiaO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AwadBTR17,
author = {Edmond Awad and
Richard Booth and
Fernando Tohm{\'{e}} and
Iyad Rahwan},
title = {Judgement aggregation in multi-agent argumentation},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {227--259},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv055},
doi = {10.1093/LOGCOM/EXV055},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AwadBTR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AwadCPPR17,
author = {Edmond Awad and
Martin W. A. Caminada and
Gabriella Pigozzi and
Mikolaj Podlaszewski and
Iyad Rahwan},
title = {Pareto optimality and strategy-proofness in group argument evaluation},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2581--2609},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx017},
doi = {10.1093/LOGCOM/EXX017},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AwadCPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaazCGHW17,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Stefan Hetzl and
Daniel Weller},
title = {Preface},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {415},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu076},
doi = {10.1093/LOGCOM/EXU076},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaazCGHW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BachC17,
author = {Christian W. Bach and
J{\'{e}}r{\'{e}}mie Cabessa},
title = {Limit-agreeing to disagree},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1169--1187},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv082},
doi = {10.1093/LOGCOM/EXV082},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BachC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BagheriS17,
author = {Seyed{-}Mohammad Bagheri and
Roghieh Safari},
title = {Completeness for linear continuous logic},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {985--998},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv070},
doi = {10.1093/LOGCOM/EXV070},
timestamp = {Thu, 30 Oct 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BagheriS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalanKV17,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {An institutional approach to positive coalgebraic logic},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1799--1824},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv074},
doi = {10.1093/LOGCOM/EXV074},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalanKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalbianiT17,
author = {Philippe Balbiani and
Tinko Tinchev},
title = {Undecidable problems for modal definability},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {901--920},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv094},
doi = {10.1093/LOGCOM/EXV094},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalbianiT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumannS17,
author = {Ringo Baumann and
Hannes Strass},
title = {On the number of bipolar Boolean functions},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2431--2449},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx025},
doi = {10.1093/LOGCOM/EXX025},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BaumannS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Behounek17,
author = {Libor Behounek},
title = {A minimalistic many-valued theory of types},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1307--1332},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw006},
doi = {10.1093/LOGCOM/EXW006},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Behounek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BendkowskiGLZ17,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Pierre Lescanne and
Marek Zaionc},
title = {Combinatorics of {\textdollar}{\textdollar}{\textbackslash}lambda{\textdollar}{\textdollar}-terms:
a natural approach},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2611--2630},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx018},
doi = {10.1093/LOGCOM/EXX018},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BendkowskiGLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BendkowskiGZ17,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Marek Zaionc},
title = {On the likelihood of normalization in combinatory logic},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2251--2269},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx005},
doi = {10.1093/LOGCOM/EXX005},
timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BendkowskiGZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenferhatB17,
author = {Salem Benferhat and
Zied Bouraoui},
title = {Min-based possibilistic DL-Lite},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {261--297},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv014},
doi = {10.1093/LOGCOM/EXV014},
timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenferhatB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemBH17,
author = {Johan van Benthem and
Nick Bezhanishvili and
Wesley H. Holliday},
title = {A bimodal perspective on possibility semantics},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1353--1389},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw024},
doi = {10.1093/LOGCOM/EXW024},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BezhanishviliGL17,
author = {Nick Bezhanishvili and
Silvio Ghilardi and
Frederik M{\"{o}}llerstr{\"{o}}m Lauridsen},
title = {One-step Heyting Algebras and Hypersequent Calculi with the Bounded
Proof Property},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2135--2169},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw029},
doi = {10.1093/LOGCOM/EXW029},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BezhanishviliGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BezhanishviliS17,
author = {Nick Bezhanishvili and
Sumit Sourabh},
title = {Sahlqvist preservation for topological fixed-point logic},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {679--703},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv010},
doi = {10.1093/LOGCOM/EXV010},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BezhanishviliS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BlackburnBBJ17,
author = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Klaus Frovin J{\o}rgensen},
title = {Completeness and termination for a Seligman-style tableau system},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {81--107},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv052},
doi = {10.1093/LOGCOM/EXV052},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BlackburnBBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BliemPW17,
author = {Bernhard Bliem and
Reinhard Pichler and
Stefan Woltran},
title = {Implementing Courcelle's Theorem in a declarative framework for dynamic
programming},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1067--1094},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv089},
doi = {10.1093/LOGCOM/EXV089},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BliemPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Borger17,
author = {Egon B{\"{o}}rger},
title = {The abstract state machines method for modular design and analysis
of programming languages},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {417--439},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu077},
doi = {10.1093/LOGCOM/EXU077},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Borger17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Boricic17,
author = {Marija Boricic},
title = {Suppes-style sequent calculus for probability logic},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1157--1168},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv068},
doi = {10.1093/LOGCOM/EXV068},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Boricic17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrandD17,
author = {Michael Brand and
David L. Dowe},
title = {The {IMP} game: Learnability, approximability and adversarial learning
beyond {\textdollar}{\textdollar}{\textbackslash}Sigma0{\_}1{\textdollar}{\textdollar}},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2171--2192},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw031},
doi = {10.1093/LOGCOM/EXW031},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrandD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChemlaES17,
author = {Emmanuel Chemla and
Paul {\'{E}}gr{\'{e}} and
Benjamin Spector},
title = {Characterizing logical consequence in many-valued logic},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2193--2226},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx001},
doi = {10.1093/LOGCOM/EXX001},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ChemlaES17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CollinsonMDP17,
author = {Matthew Collinson and
Kevin McDonald and
Simon Docherty and
David J. Pym},
title = {Erratum to: {A} substructural logic for layered graphs},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {413--414},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv019},
doi = {10.1093/LOGCOM/EXV019},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CollinsonMDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CollinsonMP17,
author = {Matthew Collinson and
Kevin McDonald and
David J. Pym},
title = {Layered graph logic as an assertion language for access control policy
models},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {41--80},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv020},
doi = {10.1093/LOGCOM/EXV020},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CollinsonMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieC17,
author = {Willem Conradie and
Andrew Craig},
title = {Canonicity results for mu-calculi: an algorithmic approach},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {705--748},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx011},
doi = {10.1093/LOGCOM/EXX011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieP17,
author = {Willem Conradie and
Alessandra Palmigiano},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {607--608},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx013},
doi = {10.1093/LOGCOM/EXX013},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieR17,
author = {Willem Conradie and
Claudette Robinson},
title = {On Sahlqvist theory for hybrid logics},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {867--900},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv045},
doi = {10.1093/LOGCOM/EXV045},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CostaM17,
author = {Diana Costa and
Manuel A. Martins},
title = {Paraconsistency in hybrid logic},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1825--1852},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw027},
doi = {10.1093/LOGCOM/EXW027},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CostaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DegremontPA17,
author = {C{\'{e}}dric D{\'{e}}gremont and
Soumya Paul and
Nicholas Asher},
title = {A logic of sights},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1225--1305},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv077},
doi = {10.1093/LOGCOM/EXV077},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DegremontPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Diaconescu17,
author = {Razvan Diaconescu},
title = {Implicit Kripke semantics and ultraproducts in stratified institutions},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1577--1606},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw018},
doi = {10.1093/LOGCOM/EXW018},
timestamp = {Sat, 06 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Diaconescu17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Diaconescu17a,
author = {Razvan Diaconescu},
title = {Universal logic and computation},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1677--1678},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx028},
doi = {10.1093/LOGCOM/EXX028},
timestamp = {Sat, 06 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Diaconescu17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Diaz-Boils17,
author = {Joaqu{\'{\i}}n D{\'{\i}}az{-}Bo{\"{\i}}ls},
title = {Categorical comprehensions and recursion},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1607--1641},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw020},
doi = {10.1093/LOGCOM/EXW020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Diaz-Boils17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DivroodiN17,
author = {Ali Rezaei Divroodi and
Linh Anh Nguyen},
title = {On directed simulations in description logics},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {1955--1986},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx004},
doi = {10.1093/LOGCOM/EXX004},
timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DivroodiN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DoberkatT17,
author = {Ernst{-}Erich Doberkat and
Pedro S{\'{a}}nchez Terraf},
title = {Stochastic non-determinism and effectivity functions},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {357--394},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv049},
doi = {10.1093/LOGCOM/EXV049},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DoberkatT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DubocPZ17,
author = {Ana Lu{\'{\i}}sa Duboc and
Aline Paes and
Gerson Zaverucha},
title = {On the formal characterization of the FORTE{\_}MBC theory revision
operators},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2551--2580},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx015},
doi = {10.1093/LOGCOM/EXX015},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DubocPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DvorakS17,
author = {Wolfgang Dvor{\'{a}}k and
Christof Spanring},
title = {Comparing the expressiveness of argumentation semantics},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1489--1521},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw008},
doi = {10.1093/LOGCOM/EXW008},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DvorakS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EberhardHW17,
author = {Sebastian Eberhard and
Stefan Hetzl and
Daniel Weller},
title = {Boolean unification with predicates},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {109--128},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv059},
doi = {10.1093/LOGCOM/EXV059},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EberhardHW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FermeGR17,
author = {Eduardo Ferm{\'{e}} and
Marco Garapa and
Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis},
title = {On ensconcement and contraction},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2011--2042},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx008},
doi = {10.1093/LOGCOM/EXX008},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FermeGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FischerNH17,
author = {Martin Fischer and
Carlo Nicolai and
Leon Horsten},
title = {Iterated reflection over full disquotational truth},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2631--2651},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx023},
doi = {10.1093/LOGCOM/EXX023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FischerNH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrittellaPS17,
author = {Sabine Frittella and
Alessandra Palmigiano and
Luigi Santocanale},
title = {Dual characterizations for finite lattices via correspondence theory
for monotone modal logic},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {639--678},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw011},
doi = {10.1093/LOGCOM/EXW011},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FrittellaPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gaina17,
author = {Daniel G{\^{a}}in{\^{a}}},
title = {Downward L{\"{o}}wenheim-Skolem Theorem and interpolation in
logics with constructors},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1717--1752},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv018},
doi = {10.1093/LOGCOM/EXV018},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Gaina17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hansson17,
author = {Sven Ove Hansson},
title = {{AGM} contraction is not reconstructible as a descriptor operation},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1133--1141},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv076},
doi = {10.1093/LOGCOM/EXV076},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hansson17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide17,
author = {Norihiro Kamide},
title = {Logics with definitional reflection rules},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1523--1548},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw013},
doi = {10.1093/LOGCOM/EXW013},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide17a,
author = {Norihiro Kamide},
title = {Relating first-order monadic omega-logic, propositional linear-time
temporal logic, propositional generalized definitional reflection
logic and propositional infinitary logic},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2271--2301},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx006},
doi = {10.1093/LOGCOM/EXX006},
timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KamideS17,
author = {Norihiro Kamide and
Yaroslav Shramko},
title = {Embedding from multilattice logic into classical logic and vice versa},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1549--1575},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw015},
doi = {10.1093/LOGCOM/EXW015},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KamideS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KanHCLH17,
author = {Shuanglong Kan and
Zhiqiu Huang and
Zhe Chen and
Weiwei Li and
Yutao Huang},
title = {Partial order reduction for checking {LTL} formulae with the next-time
operator},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1095--1131},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw004},
doi = {10.1093/LOGCOM/EXW004},
timestamp = {Mon, 17 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KanHCLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KidoON17,
author = {Hiroyuki Kido and
Yukio Ohsawa and
Katsumi Nitta},
title = {Paretian argumentation frameworks for Pareto optimal arguments},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {213--225},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv012},
doi = {10.1093/LOGCOM/EXV012},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KidoON17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KieronskiPT17,
author = {Emanuel Kieronski and
Ian Pratt{-}Hartmann and
Lidia Tendera},
title = {Equivalence closure in the two-variable guarded fragment},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {999--1021},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv075},
doi = {10.1093/LOGCOM/EXV075},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KieronskiPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KontinenMSV17,
author = {Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Henning Schnoor and
Heribert Vollmer},
title = {Modal independence logic},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1333--1352},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw019},
doi = {10.1093/LOGCOM/EXW019},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KontinenMSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KoutrasMZ17,
author = {Costas D. Koutras and
Christos Moyzes and
Yorgos Zikos},
title = {A modal logic of knowledge, belief and estimation},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2303--2339},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx016},
doi = {10.1093/LOGCOM/EXX016},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KoutrasMZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KroupaT17,
author = {Tom{\'{a}}s Kroupa and
Bruno Teheux},
title = {Modal extensions of {\L}ukasiewicz logic for modelling coalitional
power},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {129--154},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv081},
doi = {10.1093/LOGCOM/EXV081},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KroupaT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LagerkvistW17,
author = {Victor Lagerkvist and
Magnus Wahlstr{\"{o}}m},
title = {The power of primitive positive definitions with polynomially many
variables},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1465--1488},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw005},
doi = {10.1093/LOGCOM/EXW005},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LagerkvistW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lamotte-Schubert17,
author = {Manuel Lamotte{-}Schubert and
Christoph Weidenbach},
title = {{BDI:} a new decidable clause class},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {441--468},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu074},
doi = {10.1093/LOGCOM/EXU074},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lamotte-Schubert17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeitschPW17,
author = {Alexander Leitsch and
Nicolas Peltier and
Daniel Weller},
title = {{CERES} for first-order schemata},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {1897--1954},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx003},
doi = {10.1093/LOGCOM/EXX003},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeitschPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lewitzka17,
author = {Steffen Lewitzka},
title = {A modal logic amalgam of classical and intuitionistic propositional
logic},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {201--212},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv048},
doi = {10.1093/LOGCOM/EXV048},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lewitzka17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiYW17,
author = {Yanjun Li and
Quan Yu and
Yanjing Wang},
title = {More for free: a dynamic epistemic framework for conformant planning
over transition systems},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2383--2410},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx020},
doi = {10.1093/LOGCOM/EXX020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LiYW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MaZ17,
author = {Minghui Ma and
Zhiguang Zhao},
title = {Unified correspondence and proof theory for strict implication},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {921--960},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw012},
doi = {10.1093/LOGCOM/EXW012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MaZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MarcelinoC17,
author = {S{\'{e}}rgio Marcelino and
Carlos Caleiro},
title = {On the characterization of fibred logics, with applications to conservativity
and finite-valuedness},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2063--2088},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw023},
doi = {10.1093/LOGCOM/EXW023},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/MarcelinoC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MateusSS17,
author = {Paulo Mateus and
Am{\'{\i}}lcar Sernadas and
Andr{\'{e}} Souto},
title = {Universality of quantum Turing machines with deterministic control},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {1--19},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv008},
doi = {10.1093/LOGCOM/EXV008},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MateusSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MatusiewiczMOR17,
author = {Andrew Matusiewicz and
Neil V. Murray and
Paul Olsen and
Erik Rosenthal},
title = {Computing prime implicates by pruning the search space and accelerating
subsumption},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {961--983},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv071},
doi = {10.1093/LOGCOM/EXV071},
timestamp = {Fri, 24 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MatusiewiczMOR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/McLean17,
author = {Brett McLean},
title = {Complete representation by partial functions for composition, intersection
and anti-domain},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1143--1156},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu081},
doi = {10.1093/LOGCOM/EXU081},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/McLean17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MortonA17,
author = {Wilmari Morton and
Clint J. van Alten},
title = {The canonical {FEP} construction},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {609--637},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu080},
doi = {10.1093/LOGCOM/EXU080},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MortonA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Moser17,
author = {Georg Moser},
title = {KBOs, ordinals, subrecursive hierarchies and all that},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {469--495},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu072},
doi = {10.1093/LOGCOM/EXU072},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Moser17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MundiciP17,
author = {Daniele Mundici and
Claudia Picardi},
title = {Faulty sets of Boolean formulas and {\L}ukasiewicz logic},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {497--507},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu073},
doi = {10.1093/LOGCOM/EXU073},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MundiciP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NaumovT17,
author = {Pavel Naumov and
Jia Tao},
title = {A modal logic for reasoning about economic policies},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {395--412},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv053},
doi = {10.1093/LOGCOM/EXV053},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NaumovT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NaumovT17a,
author = {Pavel Naumov and
Jia Tao},
title = {Knowledge in communication networks},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1189--1224},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv080},
doi = {10.1093/LOGCOM/EXV080},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NaumovT17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Nivelle17,
author = {Hans de Nivelle},
title = {Theorem proving for classical logic with partial functions by reduction
to Kleene logic},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {509--548},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu071},
doi = {10.1093/LOGCOM/EXU071},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Nivelle17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OzunaF17,
author = {Juan Pablo Aguilera Ozuna and
David Fern{\'{a}}ndez{-}Duque},
title = {Verification logic},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2451--2469},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx027},
doi = {10.1093/LOGCOM/EXX027},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OzunaF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Paleo17,
author = {Bruno Woltzenlogel Paleo},
title = {Reducing redundancy in cut-elimination by resolution},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {577--606},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu075},
doi = {10.1093/LOGCOM/EXU075},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Paleo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PalmigianoSZ17,
author = {Alessandra Palmigiano and
Sumit Sourabh and
Zhiguang Zhao},
title = {Sahlqvist theory for impossible worlds},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {775--816},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw014},
doi = {10.1093/LOGCOM/EXW014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PalmigianoSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PalmigianoSZ17a,
author = {Alessandra Palmigiano and
Sumit Sourabh and
Zhiguang Zhao},
title = {J{\'{o}}nsson-style canonicity for ALBA-inequalities},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {817--865},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv041},
doi = {10.1093/LOGCOM/EXV041},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PalmigianoSZ17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Peltier17,
author = {Nicolas Peltier},
title = {A paramodulation-based calculus for refuting schemata of clause sets
defined by rewrite rules},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {549--576},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu078},
doi = {10.1093/LOGCOM/EXU078},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Peltier17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PetrikV17,
author = {Milan Petr{\'{\i}}k and
Thomas Vetterlein},
title = {Rees coextensions of finite, negative tomonoids},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {337--356},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv047},
doi = {10.1093/LOGCOM/EXV047},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PetrikV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PiazzaP17,
author = {Mario Piazza and
Gabriele Pulcini},
title = {Unifying logics via context-sensitiveness},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {21--40},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv051},
doi = {10.1093/LOGCOM/EXV051},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/PiazzaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PileckiBJ17,
author = {Jerzy Pilecki and
Marek A. Bednarczyk and
Wojciech Jamroga},
title = {{SMC:} synthesis of uniform strategies and verification of strategic
ability for multi-agent systems},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {1871--1895},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw032},
doi = {10.1093/LOGCOM/EXW032},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PileckiBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Puncochar17,
author = {V{\'{\i}}t Puncoch{\'{a}}r},
title = {Algebras of Information States},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1643--1675},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw021},
doi = {10.1093/LOGCOM/EXW021},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Puncochar17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Rabe17,
author = {Florian Rabe},
title = {How to identify, translate and combine logics?},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1753--1798},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu079},
doi = {10.1093/LOGCOM/EXU079},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Rabe17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RivieccioJJ17,
author = {Umberto Rivieccio and
Achim Jung and
Ramon Jansana},
title = {Four-valued modal logic: Kripke semantics and duality},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {155--199},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv038},
doi = {10.1093/LOGCOM/EXV038},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/RivieccioJJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RobaldoS17,
author = {Livio Robaldo and
Xin Sun},
title = {Reified Input/Output logic: Combining Input/Output logic and Reification
to represent norms coming from existing legislation},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2471--2503},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx009},
doi = {10.1093/LOGCOM/EXX009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/RobaldoS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SalehiS17,
author = {Saeed Salehi and
Payam Seraji},
title = {G{\"{o}}del-Rosser's Incompleteness Theorem, generalized and
optimized for definable theories},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1391--1397},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw025},
doi = {10.1093/LOGCOM/EXW025},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SalehiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SchroderPL17,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson and
Tadeusz Litak},
title = {A Van Benthem/Rosen theorem for coalgebraic predicate logic},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {749--773},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv043},
doi = {10.1093/LOGCOM/EXV043},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SchroderPL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SnaithR17,
author = {Mark Snaith and
Chris Reed},
title = {Argument Revision},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2089--2134},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw028},
doi = {10.1093/LOGCOM/EXW028},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SnaithR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SterenB17,
author = {Gabriela Steren and
Eduardo Bonelli},
title = {The first-order hypothetical logic of proofs},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {1023--1066},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv090},
doi = {10.1093/LOGCOM/EXV090},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SterenB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TutuF17,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
title = {From conventional to institution-independent logic programming},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1679--1716},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv021},
doi = {10.1093/LOGCOM/EXV021},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TutuF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Velazquez-Quesada17,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Reliability-based preference dynamics: lexicographic upgrade},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2341--2381},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx019},
doi = {10.1093/LOGCOM/EXX019},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Velazquez-Quesada17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/VidalEG17,
author = {Amanda Vidal and
Francesc Esteva and
Llu{\'{\i}}s Godo},
title = {On modal extensions of Product fuzzy logic},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {299--336},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv046},
doi = {10.1093/LOGCOM/EXV046},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/VidalEG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Yamamoto17,
author = {Kentar{\^{o}} Yamamoto},
title = {Results in modal correspondence theory for possibility semantics},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2411--2430},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx024},
doi = {10.1093/LOGCOM/EXX024},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Yamamoto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Zolin17,
author = {Evgeny Zolin},
title = {Undecidability of the transitive graded modal logic with converse},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1399--1420},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw026},
doi = {10.1093/LOGCOM/EXW026},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Zolin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-11-29 04:26 CET 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:
