Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/logcom/logcom27.bht:"
@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 = {Mon, 18 Sep 2017 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, 30 Sep 2023 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 = {Wed, 08 Dec 2021 00:00:00 +0100}, 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 = {Thu, 14 Oct 2021 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 = {Fri, 30 Nov 2018 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 = {Wed, 23 Nov 2022 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 = {Wed, 17 May 2017 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 = {Sat, 19 Oct 2019 01:00:00 +0200}, 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 = {Thu, 14 Sep 2017 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 = {Mon, 18 Sep 2017 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 = {Thu, 22 Feb 2024 00:00:00 +0100}, 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 = {Mon, 31 Oct 2022 00:00:00 +0100}, 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 W. 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 = {Thu, 14 Sep 2017 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, 30 Nov 2018 00:00:00 +0100}, 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.