Search dblp for Publications

• > Home > Search

@article{DBLP:journals/flap/AmblardR14,
  author       = {Maxime Amblard and
                  Christian Retor{\'{e}}},
  title        = {Partially Commutative Linear Logic and Lambek Caculus with Product:
                  Natural Deduction, Normalisation, Subformula Property},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {1},
  pages        = {53--94},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/AmblardR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/BenthemL14,
  author       = {Johan van Benthem and
                  Fenrong Liu},
  title        = {Deontic Logic and Preference Change},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {1--46},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/BenthemL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Besnard14,
  author       = {Philippe Besnard},
  title        = {A Note on Directions for Cumulativity},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {77--82},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Besnard14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/BikakisCT14,
  author       = {Antonis Bikakis and
                  Patrice Caire and
                  Yves Le Traon},
  title        = {Tools for Conviviality in Multi-Context Systems},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {1},
  pages        = {95--114},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/BikakisCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Clerbout14,
  author       = {Nicolas Clerbout},
  title        = {Finiteness of Plays},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {1},
  pages        = {115--130},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Clerbout14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Gabbay14,
  author       = {Dov M. Gabbay},
  title        = {Systems of Interacting Argumentation Networks},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {1},
  pages        = {131--176},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Gabbay14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/GabbayG14,
  author       = {Michael Gabbay and
                  Murdoch Gabbay},
  title        = {A simple and complete model theory for intensional and extensional
                  untyped lambda-equality},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {83--106},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/GabbayG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Kramer14,
  author       = {Simon Kramer},
  title        = {Computer-Aided Discovery and Categorisation of Personality Axioms},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {107--133},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Kramer14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/PradeR14,
  author       = {Henri Prade and
                  Gilles Richard},
  title        = {Homogenous and Heterogeneous Logical Proportions},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {1},
  pages        = {1--52},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/PradeR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Thomason14,
  author       = {Richmond H. Thomason},
  title        = {The Formalization of Practical Reasoning: Problems and Prospects},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {47--76},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Thomason14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/Woods14,
  author       = {John Woods},
  title        = {How Robust Can Inconsistency Get?},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {1},
  pages        = {177--216},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Woods14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}