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/igpl/igpl22.bht:"
download as .bib file
@article{DBLP:journals/igpl/AlberucciKS14,
author = {Luca Alberucci and
J{\"{u}}rg Kr{\"{a}}henb{\"{u}}hl and
Thomas Studer},
title = {Justifying induction on modal {\(\mu\)}-formulae},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {805--817},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu001},
doi = {10.1093/JIGPAL/JZU001},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AlberucciKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArecesFH14,
author = {Carlos Areces and
Raul Fervari and
Guillaume Hoffmann},
title = {Swap logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {309--332},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt030},
doi = {10.1093/JIGPAL/JZT030},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArecesFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Arenhart14,
author = {Jonas Rafael Becker Arenhart},
title = {Semantic analysis of non-reflexive logics},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {565--584},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt050},
doi = {10.1093/JIGPAL/JZT050},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Arenhart14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArrudaF14,
author = {Alexandre Matos Arruda and
Marcelo Finger},
title = {Completeness for cut-based abduction},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {286--296},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt028},
doi = {10.1093/JIGPAL/JZT028},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ArrudaF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvelarGMA14,
author = {Andr{\'{e}}ia Borges Avelar and
Andr{\'{e}} Luiz Galdino and
Fl{\'{a}}vio Leonardo Cavalcanti de Moura and
Mauricio Ayala{-}Rinc{\'{o}}n},
title = {First-order unification in the {PVS} proof assistant},
journal = {Log. J. {IGPL}},
volume = {22},
number = {5},
pages = {758--789},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu012},
doi = {10.1093/JIGPAL/JZU012},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AvelarGMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarberoS14,
author = {Fausto Barbero and
Gabriel Sandu},
title = {Signalling in independence-friendly logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {638--664},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu004},
doi = {10.1093/JIGPAL/JZU004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BarberoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Brauner14,
author = {Torben Bra{\"{u}}ner},
title = {First-order hybrid logic: introduction and survey},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {155--165},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt039},
doi = {10.1093/JIGPAL/JZT039},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Brauner14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliV14,
author = {Walter Alexandre Carnielli and
Renata P. de Freitas and
Petrucio Viana},
title = {The Proceedings of the {XVI} {EBL} - 16th Brazilian Logic Conference,
2011: {A} Preface},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {181--185},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt031},
doi = {10.1093/JIGPAL/JZT031},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CastiglioniB14,
author = {Jos{\'{e}} Luis Castiglioni and
Rodolfo Cristian Ertola Biraben},
title = {Strict paraconsistency of truth-degree preserving intuitionistic logic
with dual negation},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {268--273},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt027},
doi = {10.1093/JIGPAL/JZT027},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CastiglioniB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CintulaIJ14,
author = {Petr Cintula and
Rosalie Iemhoff and
Shier Ju},
title = {Editorial: Special issue on non-classical modal and predicate logics},
journal = {Log. J. {IGPL}},
volume = {22},
number = {3},
pages = {411--412},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt040},
doi = {10.1093/JIGPAL/JZT040},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CintulaIJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ConiglioEG14,
author = {Marcelo E. Coniglio and
Francesc Esteva and
Llu{\'{\i}}s Godo},
title = {Logics of formal inconsistency arising from systems of fuzzy logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {880--904},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu016},
doi = {10.1093/JIGPAL/JZU016},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ConiglioEG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ConiglioS14,
author = {Marcelo Esteban Coniglio and
Luiz Henrique Da Cruz Silvestrini},
title = {An alternative approach for quasi-truth},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {387--410},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt026},
doi = {10.1093/JIGPAL/JZT026},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ConiglioS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CorderoEMG14,
author = {Pablo Cordero and
Manuel Enciso and
{\'{A}}ngel Mora and
Inmaculada Perez de Guzm{\'{a}}n},
title = {A tableaux-like method to infer all minimal keys},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {1019--1044},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu025},
doi = {10.1093/JIGPAL/JZU025},
timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CorderoEMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CriadoANB14,
author = {Natalia Criado and
Estefania Argente and
Pablo Noriega and
Vicente J. Botti},
title = {Reasoning about constitutive norms in {BDI} agents},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {66--93},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt035},
doi = {10.1093/JIGPAL/JZT035},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CriadoANB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dellunde14,
author = {Pilar Dellunde},
title = {Applications of ultraproducts: from compactness to fuzzy elementary
classes},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {166--180},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt041},
doi = {10.1093/JIGPAL/JZT041},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dellunde14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DuqueJ14,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {Well-orders in the transfinite Japaridze algebra},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {933--963},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu018},
doi = {10.1093/JIGPAL/JZU018},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DuqueJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DzikJK14,
author = {Wojciech Dzik and
Jouni J{\"{a}}rvinen and
Michiro Kondo},
title = {Characterizing intermediate tense logics in terms of Galois connections},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {992--1018},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu024},
doi = {10.1093/JIGPAL/JZU024},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DzikJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ellerman14,
author = {David P. Ellerman},
title = {An introduction to partition logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {94--125},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt036},
doi = {10.1093/JIGPAL/JZT036},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Ellerman14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/EnglanderHP14,
author = {C{\'{e}}cilia Englander and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {Finitely many-valued logics and natural deduction},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {333--354},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt032},
doi = {10.1093/JIGPAL/JZT032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/EnglanderHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FermullerR14,
author = {Christian G. Ferm{\"{u}}ller and
Christoph Roschger},
title = {Randomized game semantics for semi-fuzzy quantifiers},
journal = {Log. J. {IGPL}},
volume = {22},
number = {3},
pages = {413--439},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt049},
doi = {10.1093/JIGPAL/JZT049},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FermullerR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FerrarottiRT14,
author = {Flavio Ferrarotti and
Wei Ren and
Jose Maria Turull Torres},
title = {Expressing properties in second- and third-order logic: hypercube
graphs and {SATQBF}},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {355--386},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt025},
doi = {10.1093/JIGPAL/JZT025},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FerrarottiRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FigalloP14,
author = {Aldo V. Figallo and
Gustavo Pelaitay},
title = {Tense operators on De Morgan algebras},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {255--267},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt024},
doi = {10.1093/JIGPAL/JZT024},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FigalloP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FontM14,
author = {Josep Maria Font and
Tommaso Moraschini},
title = {Logics of varieties, logics of semilattices and conjunction},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {818--843},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu003},
doi = {10.1093/JIGPAL/JZU003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/FontM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Garcia-CabreraMSM14,
author = {Lina Garc{\'{\i}}a{-}Cabrera and
Nuria Medina{-}Medina and
Pedro J. S{\'{a}}nchez and
Luis Mart{\'{\i}}nez{-}L{\'{o}}pez},
title = {An axiomatic approach to maintaining the consistency of a hypermedia
information system based on the {SEM-HP} model},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {1045--1074},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu026},
doi = {10.1093/JIGPAL/JZU026},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Garcia-CabreraMSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GhilardiM14,
author = {Silvio Ghilardi and
Grigori Mints},
title = {The logic of transitive and dense frames: from the step-frame analysis
to full cut-elimination},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {585--596},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt052},
doi = {10.1093/JIGPAL/JZT052},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GhilardiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Goble14,
author = {Lou Goble},
title = {Deontic logic (adapted) for normative conflicts},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {206--235},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt022},
doi = {10.1093/JIGPAL/JZT022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Goble14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gyenis14,
author = {Zal{\'{a}}n Gyenis},
title = {Interpolation property and homogeneous structures},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {597--607},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt051},
doi = {10.1093/JIGPAL/JZT051},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gyenis14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hansson14,
author = {Sven Ove Hansson},
title = {Decomposition of multiple {AGM} contraction: possibility and impossibility
results},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {696--710},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu014},
doi = {10.1093/JIGPAL/JZU014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hansson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hsiung14,
author = {Ming Hsiung},
title = {Tarski's theorem and liar-like paradoxes},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {24--38},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt020},
doi = {10.1093/JIGPAL/JZT020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hsiung14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IkodinovicRMO14,
author = {Nebojsa Ikodinovic and
Miodrag Raskovic and
Zoran Markovic and
Zoran Ognjanovic},
title = {A first-order probabilistic logic with approximate conditional probabilities},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {539--564},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt048},
doi = {10.1093/JIGPAL/JZT048},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/IkodinovicRMO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IlicB14,
author = {Mirjana Ilic and
Branislav R. Boricic},
title = {A cut-free sequent calculus for relevant logic {RW}},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {673--695},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu009},
doi = {10.1093/JIGPAL/JZU009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/IlicB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JansanaR14,
author = {Ramon Jansana and
Umberto Rivieccio},
title = {Dualities for modal N4-lattices},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {608--637},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu002},
doi = {10.1093/JIGPAL/JZU002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JansanaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KowalskiLP14,
author = {Tomasz Kowalski and
Antonio Ledda and
Francesco Paoli},
title = {Quasi-subtractive varieties: Open filters, congruences and the commutator},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {844--871},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu006},
doi = {10.1093/JIGPAL/JZU006},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KowalskiLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Krause14,
author = {D{\'{e}}cio Krause},
title = {The problem of identity and a justification for a non-reflexive quantum
mechanics},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {186--205},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt021},
doi = {10.1093/JIGPAL/JZT021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Krause14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LambanRMR14,
author = {Laureano Lamb{\'{a}}n and
Julio Rubio and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
title = {Verifying the bridge between simplicial topology and algebra: the
Eilenberg-Zilber algorithm},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {39--65},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt034},
doi = {10.1093/JIGPAL/JZT034},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LambanRMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lin14,
author = {Zhe Lin},
title = {Non-associative Lambek calculus with modalities: interpolation, complexity
and {FEP}},
journal = {Log. J. {IGPL}},
volume = {22},
number = {3},
pages = {494--512},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt042},
doi = {10.1093/JIGPAL/JZT042},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LopesBH14,
author = {Bruno Lopes and
Mario R. F. Benevides and
Edward Hermann Haeusler},
title = {Propositional dynamic logic for Petri nets},
journal = {Log. J. {IGPL}},
volume = {22},
number = {5},
pages = {721--736},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu010},
doi = {10.1093/JIGPAL/JZU010},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/LopesBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Makinson14,
author = {David Makinson},
title = {On an inferential semantics for classical logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {147--154},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt038},
doi = {10.1093/JIGPAL/JZT038},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Makinson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/McCall14,
author = {Storrs McCall},
title = {Connexive Gentzen},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {964--981},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu019},
doi = {10.1093/JIGPAL/JZU019},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/McCall14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Naidenko14,
author = {Vladimir Naidenko},
title = {Logics for complexity classes},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {1075--1093},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu027},
doi = {10.1093/JIGPAL/JZU027},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Naidenko14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OnoR14,
author = {Hiroakira Ono and
Umberto Rivieccio},
title = {Modal twist-structures over residuated lattices},
journal = {Log. J. {IGPL}},
volume = {22},
number = {3},
pages = {440--457},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt043},
doi = {10.1093/JIGPAL/JZT043},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OnoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Paiva14,
author = {Valeria de Paiva},
title = {Linear logic model of state revisited},
journal = {Log. J. {IGPL}},
volume = {22},
number = {5},
pages = {791--804},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu013},
doi = {10.1093/JIGPAL/JZU013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Paiva14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PerkovV14,
author = {Tin Perkov and
Mladen Vukovic},
title = {A bisimulation characterization for interpretability logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {872--879},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu015},
doi = {10.1093/JIGPAL/JZU015},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/PerkovV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PutteS14,
author = {Frederik Van De Putte and
Christian Stra{\ss}er},
title = {Adaptive logics: a parametric approach},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {905--932},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu017},
doi = {10.1093/JIGPAL/JZU017},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PutteS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Quispe-CruzOQP14,
author = {Marcela Quispe{-}Cruz and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz and
Valeria de Paiva},
title = {Intuitionistic N-Graphs},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {274--285},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt033},
doi = {10.1093/JIGPAL/JZT033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Quispe-CruzOQP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Reis14,
author = {Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis},
title = {On the interrelation between systems of spheres and epistemic entrenchment
relations},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {126--146},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt037},
doi = {10.1093/JIGPAL/JZT037},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Reis14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RoblesM14,
author = {Gemma Robles and
Jos{\'{e}} M. M{\'{e}}ndez},
title = {A Routley-Meyer semantics for truth-preserving and well-determined
{\L}ukasiewicz 3-valued logics},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {1--23},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt017},
doi = {10.1093/JIGPAL/JZT017},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RoblesM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RoblesM14a,
author = {Gemma Robles and
Jos{\'{e}} M. M{\'{e}}ndez},
title = {A paraconsistent 3-valued logic related to G{\"{o}}del logic
{G3}},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {515--538},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt046},
doi = {10.1093/JIGPAL/JZT046},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RoblesM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Rybakov14,
author = {Vladimir V. Rybakov},
title = {Projective formulas and unification in linear temporal logic LTL\({}_{\mbox{\emph{U}}}\)},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {665--672},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu005},
doi = {10.1093/JIGPAL/JZU005},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Rybakov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SanoO14,
author = {Katsuhiko Sano and
Hitoshi Omori},
title = {An expansion of first-order Belnap-Dunn logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {3},
pages = {458--481},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt044},
doi = {10.1093/JIGPAL/JZT044},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SanoO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SanzPS14,
author = {Wagner de Campos Sanz and
Thomas Piecha and
Peter Schroeder{-}Heister},
title = {Constructive semantics, admissibility of rules and the validity of
Peirce's law},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {297--308},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt029},
doi = {10.1093/JIGPAL/JZT029},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SanzPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SternP14,
author = {Julio Michael Stern and
Carlos Alberto De Bragan{\c{c}}a Pereira},
title = {Bayesian epistemic values: focus on surprise, measure probability!},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {236--254},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt023},
doi = {10.1093/JIGPAL/JZT023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SternP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VelosoVB14,
author = {Paulo A. S. Veloso and
Sheila R. M. Veloso and
Mario R. F. Benevides},
title = {{PDL} for structured data: a graph-calculus approach},
journal = {Log. J. {IGPL}},
volume = {22},
number = {5},
pages = {737--757},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu011},
doi = {10.1093/JIGPAL/JZU011},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/VelosoVB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X14,
title = {Conferences},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {1094--1103},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu021},
doi = {10.1093/JIGPAL/JZU021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Xu14,
author = {Wenyan Xu},
title = {A propositional system induced by Japaridze's approach to {IF} logic},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {982--991},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu020},
doi = {10.1093/JIGPAL/JZU020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Xu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Yatabe14,
author = {Shunsuke Yatabe},
title = {On the crispness of \emph{{\(\omega\)}} and arithmetic with a bisimulation
in a constructive naive set theory},
journal = {Log. J. {IGPL}},
volume = {22},
number = {3},
pages = {482--493},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt045},
doi = {10.1093/JIGPAL/JZT045},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Yatabe14.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-30 13:42 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:
