default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl17.bht:"
download as .bib file
@article{DBLP:journals/igpl/AgotnesHW09,
author = {Thomas {\AA}gotnes and
Wiebe van der Hoek and
Michael J. Wooldridge},
title = {Logics for Qualitative Coalitional Games},
journal = {Log. J. {IGPL}},
volume = {17},
number = {3},
pages = {299--321},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp009},
doi = {10.1093/JIGPAL/JZP009},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AgotnesHW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArieliZ09,
author = {Ofer Arieli and
Anna Zamansky},
title = {Distance-based non-deterministic semantics for reasoning with uncertainty},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {325--350},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp014},
doi = {10.1093/JIGPAL/JZP014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArieliZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArratiaO09,
author = {Argimiro Arratia and
Carlos E. Ortiz},
title = {Approximate formulae for a logic that capture classes of computational
complexity},
journal = {Log. J. {IGPL}},
volume = {17},
number = {1},
pages = {131--154},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn031},
doi = {10.1093/JIGPAL/JZN031},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArratiaO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArrudaM09,
author = {Alexandre Matos Arruda and
Ana Teresa C. Martins},
title = {Natural deduction for the finite least fixed point logic with an infinitary
rule},
journal = {Log. J. {IGPL}},
volume = {17},
number = {5},
pages = {531--558},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp020},
doi = {10.1093/JIGPAL/JZP020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArrudaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ayala-RinconH09,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Preface},
journal = {Log. J. {IGPL}},
volume = {17},
number = {5},
pages = {487--488},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp018},
doi = {10.1093/JIGPAL/JZP018},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ayala-RinconH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarringerGR09,
author = {Howard Barringer and
Dov M. Gabbay and
David E. Rydeheard},
title = {Modelling evolvable component systems: Part {I:} {A} logical framework},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {631--696},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp026},
doi = {10.1093/JIGPAL/JZP026},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BarringerGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BenevidesS09,
author = {Mario R. F. Benevides and
Luis Menasch{\'{e}} Schechter},
title = {Using modal logics to express and check global graph properties},
journal = {Log. J. {IGPL}},
volume = {17},
number = {5},
pages = {559--587},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp021},
doi = {10.1093/JIGPAL/JZP021},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BenevidesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BoellaST09,
author = {Guido Boella and
Luigi Sauro and
Leendert W. N. van der Torre},
title = {Algorithms for finding coalitions exploiting a new reciprocity condition},
journal = {Log. J. {IGPL}},
volume = {17},
number = {3},
pages = {273--297},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp008},
doi = {10.1093/JIGPAL/JZP008},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BoellaST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CaicedoDJ09,
author = {Xavier Caicedo and
Francien Dechesne and
Theo M. V. Janssen},
title = {Equivalence and quantifier rules for logic with imperfect information},
journal = {Log. J. {IGPL}},
volume = {17},
number = {1},
pages = {91--129},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn030},
doi = {10.1093/JIGPAL/JZN030},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CaicedoDJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CaludeH09,
author = {Cristian S. Calude and
Nicholas J. Hay},
title = {Every computably enumerable random real is provably computably enumerable
random},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {351--374},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp015},
doi = {10.1093/JIGPAL/JZP015},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CaludeH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CaminadaW09,
author = {Martin Caminada and
Yining Wu},
title = {An argument game for stable semantics},
journal = {Log. J. {IGPL}},
volume = {17},
number = {1},
pages = {77--90},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn029},
doi = {10.1093/JIGPAL/JZN029},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CaminadaW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dowek09,
author = {Gilles Dowek},
title = {On the convergence of reduction-based and model-based methods in proof
theory},
journal = {Log. J. {IGPL}},
volume = {17},
number = {5},
pages = {489--497},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp022},
doi = {10.1093/JIGPAL/JZP022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dowek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/French09,
author = {Rohan French},
title = {A simplified embedding of {E} into monomodal {K}},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {421--428},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp024},
doi = {10.1093/JIGPAL/JZP024},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/French09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayS09,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Defeasible inheritance systems and reactive diagrams},
journal = {Log. J. {IGPL}},
volume = {17},
number = {1},
pages = {1--54},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn021},
doi = {10.1093/JIGPAL/JZN021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GaboardiR09,
author = {Marco Gaboardi and
Simona Ronchi Della Rocca},
title = {From light logics to type assignments: a case study},
journal = {Log. J. {IGPL}},
volume = {17},
number = {5},
pages = {499--530},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp019},
doi = {10.1093/JIGPAL/JZP019},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GaboardiR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GencerJ09,
author = {{\c{C}}igdem Gencer and
Dick De Jongh},
title = {Unifiability in extensions of {K4}},
journal = {Log. J. {IGPL}},
volume = {17},
number = {2},
pages = {159--172},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn032},
doi = {10.1093/JIGPAL/JZN032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GencerJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Golinska-PilarekM09,
author = {Joanna Golinska{-}Pilarek and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Relational approach for a logic for order of magnitude qualitative
reasoning with negligibility, non-closeness and distance},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {375--394},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp016},
doi = {10.1093/JIGPAL/JZP016},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Golinska-PilarekM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GovernatoriPRS09,
author = {Guido Governatori and
Vineet Padmanabhan and
Antonino Rotolo and
Abdul Sattar},
title = {A defeasible logic for modelling policy-based intentions and motivational
attitudes},
journal = {Log. J. {IGPL}},
volume = {17},
number = {3},
pages = {227--265},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp006},
doi = {10.1093/JIGPAL/JZP006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GovernatoriPRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KhaledS09,
author = {Mohamed Khaled and
Tarek Sayed Ahmed},
title = {On complete representations of algebras of logic},
journal = {Log. J. {IGPL}},
volume = {17},
number = {3},
pages = {267--272},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp007},
doi = {10.1093/JIGPAL/JZP007},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/KhaledS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Krupka09,
author = {Michal Krupka},
title = {Factorization of residuated lattices},
journal = {Log. J. {IGPL}},
volume = {17},
number = {2},
pages = {205--223},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp004},
doi = {10.1093/JIGPAL/JZP004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Krupka09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Loeb09,
author = {Iris Loeb},
title = {Indecomposability of negative dense subsets of {R} in Constructive
Reverse Mathematics},
journal = {Log. J. {IGPL}},
volume = {17},
number = {2},
pages = {173--177},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp002},
doi = {10.1093/JIGPAL/JZP002},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Loeb09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MadaraszA09,
author = {Judit X. Madar{\'{a}}sz and
Tarek Sayed Ahmed},
title = {Neat reducts and amalgamation in retrospect, a survey of results and
some methods Part {I:} Results on neat reducts},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {429--483},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp012},
doi = {10.1093/JIGPAL/JZP012},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MadaraszA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MadaraszA09a,
author = {Judit X. Madar{\'{a}}sz and
Tarek Sayed Ahmed},
title = {Neat reducts and amalgamation in retrospect, a survey of results and
some methods Part {II:} Results on amalgamation},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {755--802},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp013},
doi = {10.1093/JIGPAL/JZP013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MadaraszA09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MahalakshmiG09,
author = {G. S. Mahalakshmi and
T. V. Geetha},
title = {An Indian logic-based argument representation formalism for knowledge-sharing},
journal = {Log. J. {IGPL}},
volume = {17},
number = {1},
pages = {55--76},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn026},
doi = {10.1093/JIGPAL/JZN026},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MahalakshmiG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mann09,
author = {Allen L. Mann},
title = {Independence-friendly cylindric set algebras},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {719--754},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp029},
doi = {10.1093/JIGPAL/JZP029},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NolaHJ09,
author = {Antonio Di Nola and
Michal Holcapek and
Gejza Jenca},
title = {The category of MV-pairs},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {395--412},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp017},
doi = {10.1093/JIGPAL/JZP017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NolaHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OliveiraC09,
author = {Igor Carboni Oliveira and
Walter Alexandre Carnielli},
title = {Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for
First-Order Theories" . \emph{Logic Journal of the IGPL, 16(6): 585-590(2008)}},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {803--804},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp030},
doi = {10.1093/JIGPAL/JZP030},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OliveiraC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Riguzzi09,
author = {Fabrizio Riguzzi},
title = {Extended semantics and inference for the Independent Choice Logic},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {589--629},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp025},
doi = {10.1093/JIGPAL/JZP025},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Riguzzi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Tohme09,
author = {Fernando Tohm{\'{e}}},
title = {Economic theory and the Alternative Set Theory AFA\({}^{\mbox{-}}\)+AD+DC},
journal = {Log. J. {IGPL}},
volume = {17},
number = {2},
pages = {179--203},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp003},
doi = {10.1093/JIGPAL/JZP003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Tohme09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VenturaAK09,
author = {Daniel Lima Ventura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Explicit substitutions calculi with one step Eta-reduction decided
explicitly},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {697--718},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp027},
doi = {10.1093/JIGPAL/JZP027},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VenturaAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WangZ09,
author = {San{-}Min Wang and
Bin Zhao},
title = {HpsUL is not the logic of pseudo-uninorms and their residua},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {413--419},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp023},
doi = {10.1093/JIGPAL/JZP023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WangZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-05 18:01 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
