Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/igpl/AmatiAGP96,
  author       = {Gianni Amati and
                  Luigia Carlucci Aiello and
                  Dov M. Gabbay and
                  Fiora Pirri},
  title        = {A Structural Property on Modal Frames Characterizing Default Logic},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {7--22},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.7},
  doi          = {10.1093/JIGPAL/4.1.7},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AmatiAGP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/BarringerGBGHHOMRF96,
  author       = {Howard Barringer and
                  Graham Gough and
                  Derek Brough and
                  Dov M. Gabbay and
                  Ian M. Hodkinson and
                  Anthony Hunter and
                  Richard Owens and
                  Peter McBrien and
                  Mark Reynolds and
                  Michael Fisher},
  title        = {Languages, Meta-languages and METATEM, {A} Discussion Paper},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {255--272},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.255},
  doi          = {10.1093/JIGPAL/4.2.255},
  timestamp    = {Thu, 15 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BarringerGBGHHOMRF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Bennett96,
  author       = {Brandon Bennett},
  title        = {Modal Logics for Qualitative Spatial Reasoning},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {23--45},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.23},
  doi          = {10.1093/JIGPAL/4.1.23},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Bennett96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/BornscheuerT96,
  author       = {Sven{-}Erik Bornscheuer and
                  Michael Thielscher},
  title        = {Representing Concurrent Actions and Solving Conflicts},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {355--368},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.355},
  doi          = {10.1093/JIGPAL/4.3.355},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BornscheuerT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Cunningham96,
  author       = {Jim Cunningham},
  title        = {Editorial},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {353},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.353},
  doi          = {10.1093/JIGPAL/4.3.353},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Cunningham96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/DemolombeJ96,
  author       = {Robert Demolombe and
                  Andrew J. I. Jones},
  title        = {Integrity Constraints Revisited},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {369--383},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.369},
  doi          = {10.1093/JIGPAL/4.3.369},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/DemolombeJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GabbayGMO96,
  author       = {Dov M. Gabbay and
                  Laura Giordano and
                  Alberto Martelli and
                  Nicola Olivetti},
  title        = {A Language for Handling Hypothetical Updates and Inconsistency},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {385--416},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.385},
  doi          = {10.1093/JIGPAL/4.3.385},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/GabbayGMO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Gasquet96,
  author       = {Olivier Gasquet},
  title        = {Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic
                  and Regular Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {417--426},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.417},
  doi          = {10.1093/JIGPAL/4.3.417},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Gasquet96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GrosseK96,
  author       = {Gerd Gro{\ss}e and
                  Hesham Khalil},
  title        = {State Event Logic},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {47--74},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.47},
  doi          = {10.1093/JIGPAL/4.1.47},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/GrosseK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/JonesS96,
  author       = {Andrew J. I. Jones and
                  Marek J. Sergot},
  title        = {A Formal Characterisation of Institutionalised Power},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {427--443},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.427},
  doi          = {10.1093/JIGPAL/4.3.427},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/JonesS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/KamareddineL96,
  author       = {Fairouz Kamareddine and
                  Twan Laan},
  title        = {A Reflection on Russell's Ramified Types and Kripke's Hierarchy of
                  Truths},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {195--213},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.195},
  doi          = {10.1093/JIGPAL/4.2.195},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/KamareddineL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Kreitz96,
  author       = {Christoph Kreitz},
  title        = {Formal Mathematics for Verifiably Correct Program Synthesis},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {75--94},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.75},
  doi          = {10.1093/JIGPAL/4.1.75},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Kreitz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/MayerP96,
  author       = {Marta Cialdea Mayer and
                  Fiora Pirri},
  title        = {Abduction is not Deduction-in-Reverse},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {95--108},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.95},
  doi          = {10.1093/JIGPAL/4.1.95},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/MayerP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/MegillB96,
  author       = {Norman D. Megill and
                  Martin W. Bunder},
  title        = {Weaker D-Complete Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {215--225},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.215},
  doi          = {10.1093/JIGPAL/4.2.215},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/MegillB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Ohlbach96,
  author       = {Hans J{\"{u}}rgen Ohlbach},
  title        = {Computer Support for the Development and Investigation of Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {109--127},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.109},
  doi          = {10.1093/JIGPAL/4.1.109},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Ohlbach96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Pavlovic96,
  author       = {Dusko Pavlovic},
  title        = {Maps {II:} Chasing Diagrams in Categorical Proof Theory},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {159--194},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.159},
  doi          = {10.1093/JIGPAL/4.2.159},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Pavlovic96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/PfalzgrafSS96,
  author       = {Jochen Pfalzgraf and
                  Ute Cornelia Sigmund and
                  Karel Stokkermans},
  title        = {Towards a General Approach for Modeling Actions and Change in Cooperating
                  Agents Scenarios},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {445--472},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.445},
  doi          = {10.1093/JIGPAL/4.3.445},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/PfalzgrafSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/PittC96,
  author       = {Jeremy Pitt and
                  Jim Cunningham},
  title        = {Theorem Proving and Model Building with the Calculus {KE}},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {1},
  pages        = {129--150},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.1.129},
  doi          = {10.1093/JIGPAL/4.1.129},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/PittC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Queiroz96,
  author       = {Ruy J. G. B. de Queiroz},
  title        = {Second Workshop on Logic, Language, Information and Computation (WoLLIC'95)},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {309--344},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.309},
  doi          = {10.1093/JIGPAL/4.2.309},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Queiroz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Queiroz96a,
  author       = {Ruy J. G. B. de Queiroz},
  title        = {Conferences},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {473--527},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.473},
  doi          = {10.1093/JIGPAL/4.3.473},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Queiroz96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/RaedtL96,
  author       = {Luc De Raedt and
                  Nada Lavrac},
  title        = {Multiple Predicate Learning in Two Inductive Logic Programming Settings},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {227--254},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.227},
  doi          = {10.1093/JIGPAL/4.2.227},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/RaedtL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Surendonk96,
  author       = {Timothy J. Surendonk},
  title        = {A Non-Standard Injection Between Canonical Frames},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {273--282},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.273},
  doi          = {10.1093/JIGPAL/4.2.273},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Surendonk96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Wansing96,
  author       = {Heinrich Wansing},
  title        = {Reviews},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {305--308},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.305},
  doi          = {10.1093/JIGPAL/4.2.305},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Wansing96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Williamson96,
  author       = {Timothy Williamson},
  title        = {Some Admissible Rules in Modal Systems with the Brouwerian Axiom},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {2},
  pages        = {283--303},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.2.283},
  doi          = {10.1093/JIGPAL/4.2.283},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/Williamson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.