Search dblp for Publications

export results for "toc:db/journals/jolli/jolli5.bht:"

 download as .bib file

@article{DBLP:journals/jolli/ArieliA96,
  author       = {Ofer Arieli and
                  Arnon Avron},
  title        = {Reasoning with Logical Bilattices},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {1},
  pages        = {25--63},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00215626},
  doi          = {10.1007/BF00215626},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/ArieliA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Buszkowski96,
  author       = {Wojciech Buszkowski},
  title        = {Extending Lambek Grammars to Basic Categorial Grammars},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {3/4},
  pages        = {279--295},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00159342},
  doi          = {10.1007/BF00159342},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Buszkowski96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/DorreKG96,
  author       = {Jochen D{\"{o}}rre and
                  Esther K{\"{o}}nig and
                  Dov M. Gabbay},
  title        = {Fibred Semantics for Feature-Based Grammar Logic},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {3/4},
  pages        = {387--422},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00159345},
  doi          = {10.1007/BF00159345},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/DorreKG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Giacomo96,
  author       = {Giuseppe De Giacomo},
  title        = {Eliminating "Converse" from Converse {PDL}},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {2},
  pages        = {193--208},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00173700},
  doi          = {10.1007/BF00173700},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Giacomo96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Goranko96,
  author       = {Valentin Goranko},
  title        = {Hierarchies of Modal and Temporal Logics with Reference Pointers},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {1},
  pages        = {1--24},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00215625},
  doi          = {10.1007/BF00215625},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Goranko96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Hajnicz96,
  author       = {Elzbieta Hajnicz},
  title        = {Applying Allen's Constraint Propagation Algorithm for Non-Linear Time},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {2},
  pages        = {157--175},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00173698},
  doi          = {10.1007/BF00173698},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Hajnicz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/KampR96,
  author       = {Hans Kamp and
                  Uwe Reyle},
  title        = {A Calculus for First Order Discourse Representation Structures},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {3/4},
  pages        = {297--348},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00159343},
  doi          = {10.1007/BF00159343},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/KampR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Kanazawa96,
  author       = {Makoto Kanazawa},
  title        = {Indentification in the Limit of Categorial Grammars},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {2},
  pages        = {115--155},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00173697},
  doi          = {10.1007/BF00173697},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Kanazawa96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Moortgat96,
  author       = {Michael Moortgat},
  title        = {Multimodal Linguistic Inference},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {3/4},
  pages        = {349--385},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00159344},
  doi          = {10.1007/BF00159344},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Moortgat96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/PrendingerS96,
  author       = {Helmut Prendinger and
                  Gerhard Schurz},
  title        = {Reasoning about Action and Change. {A} Dynamic Logic Approach},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {2},
  pages        = {209--245},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00173701},
  doi          = {10.1007/BF00173701},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/PrendingerS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Schlechta96,
  author       = {Karl Schlechta},
  title        = {Completeness and Incompleteness for Plausibility Logic},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {2},
  pages        = {177--192},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00173699},
  doi          = {10.1007/BF00173699},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Schlechta96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Schoter96,
  author       = {Andreas Sch{\"{o}}ter},
  title        = {Evidential Bilattice Logic and Lexical Inference},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {1},
  pages        = {65--105},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00215627},
  doi          = {10.1007/BF00215627},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Schoter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Venema96,
  author       = {Yde Venema},
  title        = {Tree Models and (Labeled) Categorial Grammar},
  journal      = {J. Log. Lang. Inf.},
  volume       = {5},
  number       = {3/4},
  pages        = {253--277},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00159341},
  doi          = {10.1007/BF00159341},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Venema96.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.