Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jolli/AmatiAP94,
  author       = {Gianni Amati and
                  Luigia Carlucci Aiello and
                  Fiora Pirri},
  title        = {Defaults as restrictions on classical Hilbert-style proofs},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {4},
  pages        = {303--326},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01160020},
  doi          = {10.1007/BF01160020},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/AmatiAP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/AndrekaM94,
  author       = {Hajnal Andr{\'{e}}ka and
                  Szabolcs Mikul{\'{a}}s},
  title        = {Lambek Calculus and its relational semantics: Completeness and incompleteness},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {1},
  pages        = {1--37},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01066355},
  doi          = {10.1007/BF01066355},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/AndrekaM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/BenthemB94,
  author       = {Johan van Benthem and
                  Jan A. Bergstra},
  title        = {Logic of Transition Systems},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {4},
  pages        = {247--283},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01160018},
  doi          = {10.1007/BF01160018},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/BenthemB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Bucalo94,
  author       = {Anna Bucalo},
  title        = {Modalities in linear logic weaker than the exponential "of course":
                  Algebraic and relational semantics},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {3},
  pages        = {211--232},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053246},
  doi          = {10.1007/BF01053246},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Bucalo94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Chierchia94,
  author       = {Gennaro Chierchia},
  title        = {Intensionality and context change},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {2},
  pages        = {141--168},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01110613},
  doi          = {10.1007/BF01110613},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Chierchia94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/FuhrmannH94,
  author       = {Andr{\'{e}} Fuhrmann and
                  Sven Ove Hansson},
  title        = {A survey of multiple contractions},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {1},
  pages        = {39--75},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01066356},
  doi          = {10.1007/BF01066356},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/FuhrmannH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Lismont94,
  author       = {Luc Lismont},
  title        = {Common Knowledge: Relating anti-founded situation semantics to modal
                  logic neighbourhood semantics},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {4},
  pages        = {285--302},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01160019},
  doi          = {10.1007/BF01160019},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Lismont94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Pankratev94,
  author       = {Nikolai Pankrat'ev},
  title        = {On the completeness of the Lambek Calculus with respect to relativized
                  Relational Semantics},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {3},
  pages        = {233--246},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053247},
  doi          = {10.1007/BF01053247},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Pankratev94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Penther94,
  author       = {Brigitte Penther},
  title        = {A dynamic logic of action},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {3},
  pages        = {169--210},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053245},
  doi          = {10.1007/BF01053245},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Penther94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Pentus94,
  author       = {Mati Pentus},
  title        = {The conjoinability relation in Lambek calculus and linear logic},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {2},
  pages        = {121--140},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01110612},
  doi          = {10.1007/BF01110612},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Pentus94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/ValS94,
  author       = {Alvaro del Val and
                  Yoav Shoham},
  title        = {Deriving properties of belief update from theories of action},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {2},
  pages        = {81--119},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01110611},
  doi          = {10.1007/BF01110611},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/ValS94.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.