Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/logcom/logcom22.bht:"
download as .bib file
@article{DBLP:journals/logcom/Adler12,
author = {Jonathan E. Adler},
title = {Argument Relevance as the Right Kind of Epistemic Reason},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {113--127},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp063},
doi = {10.1093/LOGCOM/EXP063},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Adler12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AmgoudV12,
author = {Leila Amgoud and
Srdjan Vesic},
title = {A formal analysis of the role of argumentation in negotiation dialogues},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {957--978},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr037},
doi = {10.1093/LOGCOM/EXR037},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AmgoudV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AmgoudV12a,
author = {Leila Amgoud and
Srdjan Vesic},
title = {Revising option status in argument-based decision systems\({}^{\mbox{1}}\)},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1019--1058},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq057},
doi = {10.1093/LOGCOM/EXQ057},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AmgoudV12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AnderssonHMS12,
author = {Daniel Andersson and
Kristoffer Arnsfelt Hansen and
Peter Bro Miltersen and
Troels Bjerre S{\o}rensen},
title = {Deterministic Graphical Games Revisited},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {165--178},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq001},
doi = {10.1093/LOGCOM/EXQ001},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AnderssonHMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Arslanov12,
author = {Marat M. Arslanov},
title = {Model-theoretic properties of the n-c.e. degrees},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {669--677},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq034},
doi = {10.1093/LOGCOM/EXQ034},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Arslanov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Artikis12,
author = {Alexander Artikis},
title = {Dynamic specification of open agent systems},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1301--1334},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr018},
doi = {10.1093/LOGCOM/EXR018},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Artikis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Aucher12,
author = {Guillaume Aucher},
title = {Private announcement and belief expansion: an internal perspective},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {451--479},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq056},
doi = {10.1093/LOGCOM/EXQ056},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Aucher12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Barmpalias12,
author = {George Barmpalias},
title = {Compactness arguments with effectively closed sets for the study of
relative randomness},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {679--691},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq036},
doi = {10.1093/LOGCOM/EXQ036},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Barmpalias12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarmpaliasN12,
author = {George Barmpalias and
Andr{\'{e}} Nies},
title = {Low upper bounds in the Turing degrees revisited},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {693--699},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq035},
doi = {10.1093/LOGCOM/EXQ035},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarmpaliasN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeckmannL12,
author = {Arnold Beckmann and
Benedikt L{\"{o}}we},
title = {Computability in Europe 2008},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {163--164},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq010},
doi = {10.1093/LOGCOM/EXQ010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeckmannL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Belohlavek12,
author = {Radim Belohl{\'{a}}vek},
title = {Optimal decompositions of matrices with entries from residuated lattices},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1405--1425},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr023},
doi = {10.1093/LOGCOM/EXR023},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Belohlavek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ben-AmramLO12,
author = {Amir M. Ben{-}Amram and
Bruno Loff and
Isabel Oitavem},
title = {Monotonicity Constraints in Characterizations of {PSPACE}},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {179--195},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq002},
doi = {10.1093/LOGCOM/EXQ002},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Ben-AmramLO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeyersdorffMTV12,
author = {Olaf Beyersdorff and
Arne Meier and
Michael Thomas and
Heribert Vollmer},
title = {The complexity of reasoning for fragments of default logic},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {587--604},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq061},
doi = {10.1093/LOGCOM/EXQ061},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeyersdorffMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BienvenuHKM12,
author = {Laurent Bienvenu and
Rupert H{\"{o}}lzl and
Thorsten Kr{\"{a}}ling and
Wolfgang Merkle},
title = {Separations of non-monotonic randomness notions},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {701--715},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq037},
doi = {10.1093/LOGCOM/EXQ037},
timestamp = {Mon, 08 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BienvenuHKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BlackH12,
author = {Elizabeth Black and
Anthony Hunter},
title = {A Relevance-theoretic Framework for Constructing and Deconstructing
Enthymemes},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {55--78},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp064},
doi = {10.1093/LOGCOM/EXP064},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BlackH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BodirskyJO12,
author = {Manuel Bodirsky and
Peter Jonsson and
Timo von Oertzen},
title = {Horn versus full first-order: Complexity dichotomies in algebraic
constraint satisfaction},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {643--660},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr011},
doi = {10.1093/LOGCOM/EXR011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BodirskyJO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BouEFGGTV12,
author = {F{\'{e}}lix Bou and
Francesc Esteva and
Josep Maria Font and
{\`{A}}ngel J. Gil and
Llu{\'{\i}}s Godo and
Antoni Torrens and
Ventura Verd{\'{u}}},
title = {Logics preserving degrees of truth from varieties of residuated lattices},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {661--665},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr003},
doi = {10.1093/LOGCOM/EXR003},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BouEFGGTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BovaV12,
author = {Simone Bova and
Diego Valota},
title = {Finite RDP-algebras: duality, coproducts and logic},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {417--450},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr006},
doi = {10.1093/LOGCOM/EXR006},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BovaV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Calhoun12,
author = {William C. Calhoun},
title = {Triviality and Minimality in the Degrees of Monotone Complexity},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {197--206},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq003},
doi = {10.1093/LOGCOM/EXQ003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Calhoun12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CaminadaCD12,
author = {Martin W. A. Caminada and
Walter Alexandre Carnielli and
Paul E. Dunne},
title = {Semi-stable semantics},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1207--1254},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr033},
doi = {10.1093/LOGCOM/EXR033},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/CaminadaCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CreignouST12,
author = {Nadia Creignou and
Johannes Schmidt and
Michael Thomas},
title = {Complexity Classifications for Propositional Abduction in Post's Framework},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1145--1170},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr012},
doi = {10.1093/LOGCOM/EXR012},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CreignouST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dellunde12,
author = {Pilar Dellunde},
title = {Preserving mappings in fuzzy predicate logics},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1367--1389},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr019},
doi = {10.1093/LOGCOM/EXR019},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Dellunde12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriDG12,
author = {St{\'{e}}phane Demri and
Deepak D'Souza and
R{\'{e}}gis Gascon},
title = {Temporal Logics of Repeating Values},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1059--1096},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr013},
doi = {10.1093/LOGCOM/EXR013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriDG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Diaconescu12,
author = {Razvan Diaconescu},
title = {Borrowing interpolation},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {561--586},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr007},
doi = {10.1093/LOGCOM/EXR007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Diaconescu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ditchev12,
author = {Angel V. Ditchev},
title = {Least enumerations of partial structures},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {717--735},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq038},
doi = {10.1093/LOGCOM/EXQ038},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ditchev12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EleftheriouKN12,
author = {Pantelis E. Eleftheriou and
Costas D. Koutras and
Christos Nomikos},
title = {Notions of Bisimulation for Heyting-Valued Modal Languages},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {213--235},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq005},
doi = {10.1093/LOGCOM/EXQ005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EleftheriouKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Enqvist12,
author = {Sebastian Enqvist},
title = {Modelling epistemic actions in interrogative belief revision},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1335--1365},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr031},
doi = {10.1093/LOGCOM/EXR031},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Enqvist12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FaizrahmanovK12,
author = {Marat Kh. Faizrahmanov and
Iskander Sh. Kalimullin},
title = {Turing and enumeration jumps in the Ershov hierarchy},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {737--743},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq039},
doi = {10.1093/LOGCOM/EXQ039},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FaizrahmanovK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FerreiraM12,
author = {Francicleber Martins Ferreira and
Ana Teresa C. Martins},
title = {Expressible preferential logics},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1125--1143},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr015},
doi = {10.1093/LOGCOM/EXR015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FerreiraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrankeJR12,
author = {Michael Franke and
Tikitu de Jager and
Robert van Rooij},
title = {Relevance in Cooperation and Conflict},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {23--54},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp070},
doi = {10.1093/LOGCOM/EXP070},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FrankeJR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Frolov12,
author = {Andrey N. Frolov},
title = {Low linear orderings},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {745--754},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq040},
doi = {10.1093/LOGCOM/EXQ040},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Frolov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrolovKHKM12,
author = {Andrey N. Frolov and
Iskander Sh. Kalimullin and
Valentina S. Harizanov and
Oleg V. Kudinov and
Russell G. Miller},
title = {Spectra of high\emph{\({}_{\mbox{n}}\)} and non-low\emph{\({}_{\mbox{n}}\)}
degrees},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {755--777},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq041},
doi = {10.1093/LOGCOM/EXQ041},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FrolovKHKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GanchevS12,
author = {Hristo Ganchev and
Mariya Ivanova Soskova},
title = {Embedding distributive lattices in the {\(\Sigma\)}\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)
enumeration degrees},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {779--792},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq042},
doi = {10.1093/LOGCOM/EXQ042},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GanchevS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Garcia-Bermejo12,
author = {Juan Carlos Garc{\'{\i}}a{-}Bermejo},
title = {A plea for the majority method in aggregating judgements},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1279--1299},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr008},
doi = {10.1093/LOGCOM/EXR008},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Garcia-Bermejo12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Garner12,
author = {Richard Garner},
title = {An abstract view on syntax with sharing},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1427--1452},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr021},
doi = {10.1093/LOGCOM/EXR021},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Garner12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gavryushkin12,
author = {Alexander Gavryushkin},
title = {On constructive models of theories with linear Rudin-Keisler ordering},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {793--805},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq043},
doi = {10.1093/LOGCOM/EXQ043},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Gavryushkin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ghari12,
author = {Meghdad Ghari},
title = {Cut Elimination and Realization for Epistemic Logics with Justification},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1171--1198},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr017},
doi = {10.1093/LOGCOM/EXR017},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Ghari12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GodlinKM12,
author = {Benny Godlin and
Emilia Katz and
Johann A. Makowsky},
title = {Graph Polynomials: From Recursive Definitions to Subset Expansion
Formulas},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {237--265},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq006},
doi = {10.1093/LOGCOM/EXQ006},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GodlinKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Harris12,
author = {Charles M. Harris},
title = {Non-cuppable enumeration degrees via finite injury},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {807--829},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq044},
doi = {10.1093/LOGCOM/EXQ044},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Harris12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hussak12,
author = {Walter Hussak},
title = {Monodic temporal logic with quantified propositional variables},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {517--544},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr004},
doi = {10.1093/LOGCOM/EXR004},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hussak12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jacquette12,
author = {Dale Jacquette},
title = {Causal Relevance and Relevant Causation},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {101--112},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp065},
doi = {10.1093/LOGCOM/EXP065},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jacquette12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Japaridze12,
author = {Giorgi Japaridze},
title = {A logical basis for constructive systems},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {605--642},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr009},
doi = {10.1093/LOGCOM/EXR009},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Japaridze12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kalimullin12,
author = {Iskander Sh. Kalimullin},
title = {Algorithmic reducibilities of algebraic structures},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {831--843},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq046},
doi = {10.1093/LOGCOM/EXQ046},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kalimullin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide12,
author = {Norihiro Kamide},
title = {Embedding-based approaches to paraconsistent and temporal description
logics},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1097--1124},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr016},
doi = {10.1093/LOGCOM/EXR016},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KempsonW12,
author = {Ruth Kempson and
John Woods},
title = {Editors' Note},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {1--6},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp069},
doi = {10.1093/LOGCOM/EXP069},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KempsonW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kolokolova12,
author = {Antonina Kolokolova},
title = {Expressing versus Proving: Relating Forms of Complexity in Logic},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {267--280},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq008},
doi = {10.1093/LOGCOM/EXQ008},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kolokolova12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kristiansen12,
author = {Lars Kristiansen},
title = {Higher Types, Finite Domains and Resource-bounded Turing Machines},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {281--304},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq009},
doi = {10.1093/LOGCOM/EXQ009},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kristiansen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Laronge12,
author = {Joseph A. Laronge},
title = {A Generalizable Argument Structure Using Defeasible Class-inclusion
Transitivity for Evaluating Evidentiary Probative Relevancy in Litigation},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {129--162},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp066},
doi = {10.1093/LOGCOM/EXP066},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Laronge12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LavaletteHJ12,
author = {Gerard R. Renardel de Lavalette and
Alex Hendriks and
Dick de Jongh},
title = {Intuitionistic implication without disjunction},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {375--404},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq058},
doi = {10.1093/LOGCOM/EXQ058},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LavaletteHJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lewis12,
author = {Andrew E. M. Lewis},
title = {Properties of the jump classes},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {845--855},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq047},
doi = {10.1093/LOGCOM/EXQ047},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lewis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lewitzka12,
author = {Steffen Lewitzka},
title = {Semantically closed intuitionistic abstract logics},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {351--374},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq060},
doi = {10.1093/LOGCOM/EXQ060},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lewitzka12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Mares12,
author = {Edwin D. Mares},
title = {Relevance and Conjunction},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {7--21},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp068},
doi = {10.1093/LOGCOM/EXP068},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Mares12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ModgilT12,
author = {Sanjay Modgil and
Francesca Toni},
title = {Special Issue on Argumentation in Agreement Technologies},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {953--956},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr036},
doi = {10.1093/LOGCOM/EXR036},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ModgilT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Montalban12,
author = {Antonio Montalb{\'{a}}n},
title = {Counting the back-and-forth types},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {857--876},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq048},
doi = {10.1093/LOGCOM/EXQ048},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Montalban12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Morphett12,
author = {Anthony Morphett},
title = {Prompt enumerations and relative randomness},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {877--897},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq049},
doi = {10.1093/LOGCOM/EXQ049},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Morphett12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MuLJ12,
author = {Kedian Mu and
Weiru Liu and
Zhi Jin},
title = {Measuring the blame of each formula for inconsistent prioritized knowledge
bases},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {481--516},
year = {2012},
url = {https://doi.org/10.1093/jigpal/exr002},
doi = {10.1093/JIGPAL/EXR002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MuLJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Oliva12,
author = {Paulo Oliva},
title = {Hybrid Functional Interpretations of Linear and Intuitionistic Logic},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {305--328},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq007},
doi = {10.1093/LOGCOM/EXQ007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Oliva12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OmodeoPT12,
author = {Eugenio G. Omodeo and
Alberto Policriti and
Alexandru I. Tomescu},
title = {Infinity, in short},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1391--1403},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr020},
doi = {10.1093/LOGCOM/EXR020},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OmodeoPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Pereira12,
author = {Lu{\'{\i}}s Moniz Pereira},
title = {Turing is among us},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1257--1277},
year = {2012},
url = {https://doi.org/10.1093/logcom/exs035},
doi = {10.1093/LOGCOM/EXS035},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Pereira12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RatiuT12,
author = {Diana Ratiu and
Trifon Trifonov},
title = {Exploring the Computational Content of the Infinite Pigeonhole Principle},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {329--350},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq011},
doi = {10.1093/LOGCOM/EXQ011},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RatiuT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Rybakov12,
author = {Vladimir V. Rybakov},
title = {Writing out Unifiers in Linear Temporal Logic},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1199--1206},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr022},
doi = {10.1093/LOGCOM/EXR022},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Rybakov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Salehi12,
author = {Saeed Salehi},
title = {Separating bounded arithmetical theories by Herbrand consistency},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {545--560},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr005},
doi = {10.1093/LOGCOM/EXR005},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Salehi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SernadasSR12,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jo{\~{a}}o Rasga},
title = {On meet-combination of logics},
journal = {J. Log. Comput.},
volume = {22},
number = {6},
pages = {1453--1470},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr035},
doi = {10.1093/LOGCOM/EXR035},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SernadasSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SkordevWG12,
author = {Dimiter Skordev and
Andreas Weiermann and
Ivan Georgiev},
title = {\emph{M}\({}^{\mbox{2}}\)-computable real numbers},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {899--925},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq050},
doi = {10.1093/LOGCOM/EXQ050},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SkordevWG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SmetW12,
author = {Michiel De Smet and
Andreas Weiermann},
title = {Sharp Thresholds for a Phase Transition Related to Weakly Increasing
Sequences},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {207--211},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq004},
doi = {10.1093/LOGCOM/EXQ004},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SmetW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SoskovaCS12,
author = {Alexandra A. Soskova and
S. Barry Cooper and
Andrea Sorbi},
title = {Computability at Logic Colloquium 2009},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {667},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq045},
doi = {10.1093/LOGCOM/EXQ045},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SoskovaCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SoskovaS12,
author = {Mariya Ivanova Soskova and
Ivan N. Soskov},
title = {Embedding countable partial orderings in the enumeration degrees and
the \emph{{\(\omega\)}}-enumeration degrees},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {927--952},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq051},
doi = {10.1093/LOGCOM/EXQ051},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SoskovaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TangCMSP12,
author = {Yuqing Tang and
Kai Cai and
Peter McBurney and
Elizabeth Sklar and
Simon Parsons},
title = {Using argumentation to reason about trust and belief},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {979--1018},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr038},
doi = {10.1093/LOGCOM/EXR038},
timestamp = {Wed, 04 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TangCMSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/VervaekeLR12,
author = {John Vervaeke and
Timothy P. Lillicrap and
Blake A. Richards},
title = {Relevance Realization and the Emerging Framework in Cognitive Science},
journal = {J. Log. Comput.},
volume = {22},
number = {1},
pages = {79--99},
year = {2012},
url = {https://doi.org/10.1093/logcom/exp067},
doi = {10.1093/LOGCOM/EXP067},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/VervaekeLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Witzel12,
author = {Andreas Witzel},
title = {Characterizing perfect recall using next-step temporal operators in
{S5} Epistemic Temporal Logic},
journal = {J. Log. Comput.},
volume = {22},
number = {3},
pages = {405--416},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr010},
doi = {10.1093/LOGCOM/EXR010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Witzel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-29 17:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
