Search dblp for Publications

export results for "toc:db/journals/igpl/igpl10.bht:"

 download as .bib file

@article{DBLP:journals/igpl/Aiello02,
  author       = {Marco Aiello},
  title        = {A Spatial Similarity Measure based on Games: Theory and Practice},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {1},
  pages        = {1--22},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.1.1},
  doi          = {10.1093/JIGPAL/10.1.1},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Aiello02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Arratia02,
  author       = {Argimiro Arratia},
  title        = {On the Descriptive Complexity of a Simplified Game of Hex},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {2},
  pages        = {105--122},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.2.105},
  doi          = {10.1093/JIGPAL/10.2.105},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Arratia02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Bodanza02,
  author       = {Gustavo Adrian Bodanza},
  title        = {Disjunctions and Specificity in Suppositional Defeasible Argumentation},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {1},
  pages        = {23--49},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.1.23},
  doi          = {10.1093/JIGPAL/10.1.23},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Bodanza02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/BorghuisKN02,
  author       = {Tijn Borghuis and
                  Fairouz Kamareddine and
                  Rob Nederpelt},
  title        = {Formalizing Belief Revision in Type Theory},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {5},
  pages        = {461--500},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.5.461},
  doi          = {10.1093/JIGPAL/10.5.461},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BorghuisKN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/BouzidL02,
  author       = {Maroua Bouzid and
                  Peter B. Ladkin},
  title        = {Simple Reasoning with Time-Dependent Propositions},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {4},
  pages        = {379--399},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.4.379},
  doi          = {10.1093/JIGPAL/10.4.379},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BouzidL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/BrodaGLR02,
  author       = {Krysia Broda and
                  Dov M. Gabbay and
                  Lu{\'{\i}}s C. Lamb and
                  Alessandra Russo},
  title        = {Labelled Natural Deduction for Conditional Logics of Normality},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {2},
  pages        = {123--163},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.2.123},
  doi          = {10.1093/JIGPAL/10.2.123},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BrodaGLR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Bunder02,
  author       = {Martin W. Bunder},
  title        = {Intersection types for lambda-terms and combinators and their logics},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {4},
  pages        = {357--378},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.4.357},
  doi          = {10.1093/JIGPAL/10.4.357},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Bunder02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/CastelliniS02,
  author       = {Claudio Castellini and
                  Alan Smaill},
  title        = {A Systematic Presentation of Quantified Modal Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {6},
  pages        = {571--599},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.6.571},
  doi          = {10.1093/JIGPAL/10.6.571},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/CastelliniS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/CerroG02,
  author       = {Luis Fari{\~{n}}as del Cerro and
                  Olivier Gasquet},
  title        = {A General Framework for Pattern-Driven Modal Tableaux},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {1},
  pages        = {51--83},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.1.51},
  doi          = {10.1093/JIGPAL/10.1.51},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/CerroG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/DamianD02,
  author       = {Daniel Damian and
                  Olivier Danvy},
  title        = {A Simple {CPS} Transformation of Control-Flow Information},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {5},
  pages        = {501--515},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.5.501},
  doi          = {10.1093/JIGPAL/10.5.501},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/DamianD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/FingerW02,
  author       = {Marcelo Finger and
                  M. Angela Weiss},
  title        = {The Unrestricted Combination of Temporal Logic Systems},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {2},
  pages        = {165--189},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.2.165},
  doi          = {10.1093/JIGPAL/10.2.165},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/FingerW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GabbayRW02,
  author       = {Dov M. Gabbay and
                  Odinaldo Rodrigues and
                  John Woods},
  title        = {Belief Contraction, Anti-formulae and Resource Overdraft: Part {I}
                  Deletion in Resource bounded Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {6},
  pages        = {601--652},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.6.601},
  doi          = {10.1093/JIGPAL/10.6.601},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GabbayRW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Gencer02,
  author       = {{\c{C}}igdem Gencer},
  title        = {Description of Modal Logics Inheriting Admissible Rules for {K4}},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {4},
  pages        = {401--411},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.4.401},
  doi          = {10.1093/JIGPAL/10.4.401},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Gencer02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Ghilardi02,
  author       = {Silvio Ghilardi},
  title        = {A Resolution/Tableaux Algorithm for Projective Approximations in {IPC}},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {3},
  pages        = {229--243},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.3.229},
  doi          = {10.1093/JIGPAL/10.3.229},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Ghilardi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Kamide02,
  author       = {Norihiro Kamide},
  title        = {Sequent Calculi for Intuitionistic Linear Logic with Strong Negation},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {6},
  pages        = {653--678},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.6.653},
  doi          = {10.1093/JIGPAL/10.6.653},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Kamide02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Kravtsov02,
  author       = {Aleksey G. Kravtsov},
  title        = {Polymodal Logics of Commuting Functions},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {5},
  pages        = {517--533},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.5.517},
  doi          = {10.1093/JIGPAL/10.5.517},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Kravtsov02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Lutz02,
  author       = {Carsten Lutz},
  title        = {PSpace Reasoning with the Description Logic {ALCF(D)}},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {5},
  pages        = {535--568},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.5.535},
  doi          = {10.1093/JIGPAL/10.5.535},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Lutz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Marti-Oliet02,
  author       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Review of the paper 'Concurrent Systems Analysis Using ECATNets' by
                  F. Belala},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {4},
  pages        = {453--455},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.4.453},
  doi          = {10.1093/JIGPAL/10.4.453},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Marti-Oliet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/MoinardR02,
  author       = {Yves Moinard and
                  Raymond Rolland},
  title        = {Characterizations of Preferential Entailments},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {3},
  pages        = {245--272},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.3.245},
  doi          = {10.1093/JIGPAL/10.3.245},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/MoinardR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Naumann02,
  author       = {Ralf Naumann},
  title        = {A Fibring Semantics for the Semantic-Morphological Interface in Natural
                  Language},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {2},
  pages        = {191--226},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.2.191},
  doi          = {10.1093/JIGPAL/10.2.191},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Naumann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Nossum02,
  author       = {Rolf Nossum},
  title        = {Propositional Logic for Ground Semigroups of Context},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {3},
  pages        = {273--297},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.3.273},
  doi          = {10.1093/JIGPAL/10.3.273},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Nossum02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/QueirozPH02,
  author       = {Ruy J. G. B. de Queiroz and
                  Luiz Carlos Pereira and
                  Edward Hermann Haeusler},
  title        = {9th Workshop on Logic, Language, Information and Computation},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {6},
  pages        = {679--688},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.6.679},
  doi          = {10.1093/JIGPAL/10.6.679},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/QueirozPH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/SernadasSZ02,
  author       = {Am{\'{\i}}lcar Sernadas and
                  Cristina Sernadas and
                  Alberto Zanardo},
  title        = {Fibring Modal First-Order Logics: Completeness Preservation},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {4},
  pages        = {413--451},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.4.413},
  doi          = {10.1093/JIGPAL/10.4.413},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/SernadasSZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/SiekmannW02,
  author       = {J{\"{o}}rg H. Siekmann and
                  Graham Wrightson},
  title        = {An Open Research Problem: Strong Completeness of R. Kowalski's Connection
                  Graph Proof Procedure},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {1},
  pages        = {85--103},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.1.85},
  doi          = {10.1093/JIGPAL/10.1.85},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/SiekmannW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Tennant02,
  author       = {Neil Tennant},
  title        = {Ultimate Normal Forms for Parallelized Natural Deductions},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {3},
  pages        = {299--337},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.3.299},
  doi          = {10.1093/JIGPAL/10.3.299},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Tennant02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Vaananen02,
  author       = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {On the semantics of informational independence},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {3},
  pages        = {339--352},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.3.339},
  doi          = {10.1093/JIGPAL/10.3.339},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Vaananen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Wansing02,
  author       = {Heinrich Wansing},
  title        = {Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {4},
  pages        = {457--458},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.4.457},
  doi          = {10.1093/JIGPAL/10.4.457},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Wansing02.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.