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/igpl3.bht:"
download as .bib file
@article{DBLP:journals/igpl/AlechinaL95,
author = {Natasha Alechina and
Michiel van Lambalgen},
title = {Correspondence and Completeness for Generalized Quantifiers},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {167--190},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.167},
doi = {10.1093/JIGPAL/3.2-3.167},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AlechinaL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AndrekaBN95,
author = {Hajnal Andr{\'{e}}ka and
Johan van Benthem and
Istv{\'{a}}n N{\'{e}}meti},
title = {Back and Forth Between Modal Logic and Classical Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {685--720},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.685},
doi = {10.1093/JIGPAL/3.5.685},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AndrekaBN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarwiseGH95,
author = {Jon Barwise and
Dov M. Gabbay and
Chrysafis Hartonas},
title = {On the Logic of Information Flow},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {7--50},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.7},
doi = {10.1093/JIGPAL/3.1.7},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BarwiseGH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Boricic95,
author = {Branislav R. Boricic},
title = {A Note on Probabilistic Validity Measure in Propositional Calculi},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {721--724},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.721},
doi = {10.1093/JIGPAL/3.5.721},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Boricic95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaDGJR95,
author = {Krysia Broda and
Marcello D'Agostino and
Rajeev Gor{\'{e}} and
Rob Johnson and
Steve Reeves},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {826},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.826},
doi = {10.1093/JIGPAL/3.6.826},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaDGJR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bruning95,
author = {Stefan Br{\"{u}}ning},
title = {Exploiting Equivalences in Connection Calculi},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {857--886},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.857},
doi = {10.1093/JIGPAL/3.6.857},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bruning95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Calcagno95,
author = {Mike Calcagno},
title = {A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {555--578},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.555},
doi = {10.1093/JIGPAL/3.4.555},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Calcagno95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CengarleW95,
author = {Mar{\'{\i}}a Victoria Cengarle and
Martin Wirsing},
title = {A Calculus of Higher-Order Parameterization for Algebraic Specifications},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {615--641},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.615},
doi = {10.1093/JIGPAL/3.4.615},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CengarleW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Corblin95,
author = {Francis Corblin},
title = {Compositionality and Complexity in Multiple Negation},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {449--471},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.449},
doi = {10.1093/JIGPAL/3.2-3.449},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Corblin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CostaBB95,
author = {Newton C. A. da Costa and
Jean{-}Yves B{\'{e}}ziau and
Ot{\'{a}}vio A. S. Bueno},
title = {Aspects of Paraconsistent Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {597--614},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.597},
doi = {10.1093/JIGPAL/3.4.597},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CostaBB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Does95,
author = {Jaap van der Does},
title = {Cut \emph{Might} Cautiously},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {191--202},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.191},
doi = {10.1093/JIGPAL/3.2-3.191},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Does95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ErsanA95,
author = {Murat Ersan and
Varol Akman},
title = {Situated Modeling of Epistemic Puzzles},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {51--76},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.51},
doi = {10.1093/JIGPAL/3.1.51},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ErsanA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Francez95,
author = {Nissim Francez},
title = {Contrastive Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {725--744},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.725},
doi = {10.1093/JIGPAL/3.5.725},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Francez95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayOQ95,
author = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach and
Ruy J. G. B. de Queiroz},
title = {The Bulletin turned into a Journal},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {682},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.682},
doi = {10.1093/JIGPAL/3.5.682},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayOQ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayOQ95a,
author = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach and
Ruy J. G. B. de Queiroz},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {4--6},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.4},
doi = {10.1093/JIGPAL/3.1.4},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayOQ95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Goubault95,
author = {Jean Goubault},
title = {A BDD-Based Simplification and Skolemization Procedure},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {827--855},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.827},
doi = {10.1093/JIGPAL/3.6.827},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Goubault95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GuzmanR95,
author = {Inmaculada Perez de Guzm{\'{a}}n and
Carlos Rossi},
title = {LNint: {A} Temporal Logic that Combines Points and Intervals and the
Absolute and Relative Approaches},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {745--764},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.745},
doi = {10.1093/JIGPAL/3.5.745},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GuzmanR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gyuris95,
author = {Viktor Gyuris},
title = {A Short Proof of Representability of Fork Algebras},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {791--796},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.791},
doi = {10.1093/JIGPAL/3.5.791},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gyuris95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Henson95,
author = {Martin C. Henson},
title = {On the Proof Theory of Program Transformations},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {643--671},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.643},
doi = {10.1093/JIGPAL/3.4.643},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Henson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hepple95,
author = {Mark Hepple},
title = {Hybrid Categorial Logics},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {343--355},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.343},
doi = {10.1093/JIGPAL/3.2-3.343},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hepple95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hirsch95,
author = {Robin Hirsch},
title = {Completely Representable Relation Algebras},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {77--92},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.77},
doi = {10.1093/JIGPAL/3.1.77},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hirsch95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kamareddine95,
author = {Fairouz Kamareddine},
title = {Important Issues in Foundational Formalisms},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {291--317},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.291},
doi = {10.1093/JIGPAL/3.2-3.291},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kamareddine95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kempson95,
author = {Ruth Kempson},
title = {Deduction and Language},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {160--166},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.160},
doi = {10.1093/JIGPAL/3.2-3.160},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kempson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kempson95a,
author = {Ruth Kempson},
title = {Ellipsis in a Labelled Deduction System},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {489--526},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.489},
doi = {10.1093/JIGPAL/3.2-3.489},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kempson95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kurtonina95,
author = {Natasha Kurtonina},
title = {Talking about Explicit Databases in Categorial Grammar},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {357--370},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.357},
doi = {10.1093/JIGPAL/3.2-3.357},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kurtonina95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lappin95,
author = {Shalom Lappin},
title = {Generalized Quantifiers, Exception Phrases, and Logicality},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {203--222},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.203},
doi = {10.1093/JIGPAL/3.2-3.203},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lappin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LiC95,
author = {Renwei Li and
Jos{\'{e}} Carmo},
title = {On Completeness of a Positional Interval Logic with Equality, Overlap
and Subinterval Relations},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {765--790},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.765},
doi = {10.1093/JIGPAL/3.5.765},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LiC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MariaV95,
author = {Claudia Mer{\'{e}} Mar{\'{\i}}a and
Paulo A. S. Veloso},
title = {Definition-like Extensions by Sorts},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {579--595},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.579},
doi = {10.1093/JIGPAL/3.4.579},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MariaV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MayerP95,
author = {Marta Cialdea Mayer and
Fiora Pirri},
title = {Propositional Abduction in Modal Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {907--919},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.907},
doi = {10.1093/JIGPAL/3.6.907},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MayerP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Meyer-Viol95,
author = {Wilfried Meyer{-}Viol},
title = {A Proof-theoretic Treatment of Assignments},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {223--242},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.223},
doi = {10.1093/JIGPAL/3.2-3.223},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Meyer-Viol95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mondadori95,
author = {Marco Mondadori},
title = {Efficient Inverse Tableaux},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {939--953},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.939},
doi = {10.1093/JIGPAL/3.6.939},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mondadori95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Moortgat95,
author = {Michael Moortgat},
title = {Multimodal Linguistic Inference},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {371--401},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.371},
doi = {10.1093/JIGPAL/3.2-3.371},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Moortgat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Morrill95,
author = {Glyn Morrill},
title = {Clausal Proofs and Discontinuity},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {403--427},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.403},
doi = {10.1093/JIGPAL/3.2-3.403},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Morrill95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NemetiSS95,
author = {Istv{\'{a}}n N{\'{e}}meti and
Ildik{\'{o}} Sain and
Andr{\'{a}}s Simon},
title = {Undecidability of the Equational Theory of Some Classes of Residuated
Boolean Algebras with Operators},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {93--105},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.93},
doi = {10.1093/JIGPAL/3.1.93},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NemetiSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Oehrle95,
author = {Dick Oehrle},
title = {Some 3-Dimensional Systems of Labelled Deduction},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {429--448},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.429},
doi = {10.1093/JIGPAL/3.2-3.429},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Oehrle95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pentus95,
author = {Mati Pentus},
title = {IGPL/FoLLI Prize},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {682--683},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.682-a},
doi = {10.1093/JIGPAL/3.5.682-A},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pentus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz95,
author = {Ruy J. G. B. de Queiroz},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {532--533},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.532},
doi = {10.1093/JIGPAL/3.4.532},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozG95,
author = {Ruy J. G. B. de Queiroz and
Dov M. Gabbay},
title = {The Functional Interpretation of the Existential Quantifier},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {243--290},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.243},
doi = {10.1093/JIGPAL/3.2-3.243},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ranta95,
author = {Aarne Ranta},
title = {Type-Theoretical Interpretation and Generalization of Phrase Structure
Grammar},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {319--342},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.319},
doi = {10.1093/JIGPAL/3.2-3.319},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ranta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Reyle95,
author = {Uwe Reyle},
title = {Underspecified Discourse Representation Structures and their Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {473--488},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.473},
doi = {10.1093/JIGPAL/3.2-3.473},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Reyle95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Schlechta95,
author = {Karl Schlechta},
title = {Some Completeness Results for Propositional Conditional Logics},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {111--115},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.111},
doi = {10.1093/JIGPAL/3.1.111},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Schlechta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Segerberg95,
author = {Krister Segerberg},
title = {Belief Revision From the Point of View of Doxastic Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {535--553},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.535},
doi = {10.1093/JIGPAL/3.4.535},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Segerberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WallaceW95,
author = {Kevin Wallace and
Graham Wrightson},
title = {Regressive Merging in Model Elimination Tableau-Based Theorem Provers},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {921--937},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.921},
doi = {10.1093/JIGPAL/3.6.921},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WallaceW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wansing95,
author = {Heinrich Wansing},
title = {Strong Cut-Elimination for Constant Domain First-Order \emph{S}5},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {797--810},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.797},
doi = {10.1093/JIGPAL/3.5.797},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Wansing95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WassermanYS95,
author = {Howard C. Wasserman and
Keitaro Yukawa and
Zhizhang Shen},
title = {The Essential Inadequacy of Deduction in Logic Programming},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {107--110},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.107},
doi = {10.1093/JIGPAL/3.1.107},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WassermanYS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Weidenbach95,
author = {Christoph Weidenbach},
title = {First-Order Tableaux with Sorts},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {887--906},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.887},
doi = {10.1093/JIGPAL/3.6.887},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Weidenbach95.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-08-07 15: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:
