Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jolli/Bourreau15,
  author       = {Pierre Bourreau},
  title        = {On the Effect of the IO-Substitution on the Parikh Image of Semilinear
                  Full AFLs},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {1},
  pages        = {1--26},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-014-9211-2},
  doi          = {10.1007/S10849-014-9211-2},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Bourreau15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Burnett15,
  author       = {Heather Burnett},
  title        = {Comparison Across Domains in Delineation Semantics},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {3},
  pages        = {233--265},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9220-9},
  doi          = {10.1007/S10849-015-9220-9},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Burnett15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/BurtonS15,
  author       = {Jim Burton and
                  Gem Stapleton},
  title        = {Special issue on Euler and Venn Diagrams: Guest Editors' introduction},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {4},
  pages        = {357--359},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9226-3},
  doi          = {10.1007/S10849-015-9226-3},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/BurtonS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/CadilhacALB15,
  author       = {Ana{\"{\i}}s Cadilhac and
                  Nicholas Asher and
                  Alex Lascarides and
                  Farah Benamara},
  title        = {Preference Change},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {3},
  pages        = {267--288},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9221-8},
  doi          = {10.1007/S10849-015-9221-8},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jolli/CadilhacALB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Cantwell15,
  author       = {John Cantwell},
  title        = {An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional
                  Logic},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {1},
  pages        = {27--51},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-014-9209-9},
  doi          = {10.1007/S10849-014-9209-9},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Cantwell15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Dekker15,
  author       = {Paul J. E. Dekker},
  title        = {Not Only Barbara},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {2},
  pages        = {95--129},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9215-6},
  doi          = {10.1007/S10849-015-9215-6},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Dekker15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Dresner15,
  author       = {Eli Dresner},
  title        = {Proof Complexity and Textual Cohesion},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {1},
  pages        = {53--64},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-014-9212-1},
  doi          = {10.1007/S10849-014-9212-1},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Dresner15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/DurandEKV15,
  author       = {Arnaud Durand and
                  Johannes Ebbing and
                  Juha Kontinen and
                  Heribert Vollmer},
  title        = {Dependence Logic with a Majority Quantifier},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {3},
  pages        = {289--305},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9218-3},
  doi          = {10.1007/S10849-015-9218-3},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/DurandEKV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/FreitasV15,
  author       = {Renata P. de Freitas and
                  Petrucio Viana},
  title        = {Set Venn Diagrams Applied to Inclusions and Non-inclusions},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {4},
  pages        = {457--485},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9227-2},
  doi          = {10.1007/S10849-015-9227-2},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/FreitasV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/French15,
  author       = {Rohan French},
  title        = {A Sequent Calculus for Urn Logic},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {2},
  pages        = {131--147},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9216-5},
  doi          = {10.1007/S10849-015-9216-5},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/French15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Kasa15,
  author       = {Martin Kas{\aa}},
  title        = {A Logic for Trial and Error Classifiers},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {3},
  pages        = {307--322},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9222-7},
  doi          = {10.1007/S10849-015-9222-7},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Kasa15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Kuusisto15,
  author       = {Antti Kuusisto},
  title        = {A Double Team Semantics for Generalized Quantifiers},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {2},
  pages        = {149--191},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9217-4},
  doi          = {10.1007/S10849-015-9217-4},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Kuusisto15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/LentT15,
  author       = {Jeremy Lent and
                  Richmond H. Thomason},
  title        = {Action Models for Conditionals},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {2},
  pages        = {211--231},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9213-8},
  doi          = {10.1007/S10849-015-9213-8},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/LentT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/MoktefiP15,
  author       = {Amirouche Moktefi and
                  Ahti{-}Veikko Pietarinen},
  title        = {On the Diagrammatic Representation of Existential Statements with
                  Venn Diagrams},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {4},
  pages        = {361--374},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9228-1},
  doi          = {10.1007/S10849-015-9228-1},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/MoktefiP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Peregrin15,
  author       = {Jaroslav Peregrin},
  title        = {Logic Reduced To Bare (Proof-Theoretical) Bones},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {2},
  pages        = {193--209},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9214-7},
  doi          = {10.1007/S10849-015-9214-7},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Peregrin15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Puncochar15,
  author       = {V{\'{\i}}t Puncoch{\'{a}}r},
  title        = {Weak Negation in Inquisitive Semantics},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {3},
  pages        = {323--355},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9219-2},
  doi          = {10.1007/S10849-015-9219-2},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Puncochar15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/SatoM15,
  author       = {Yuri Sato and
                  Koji Mineshima},
  title        = {How Diagrams Can Support Syllogistic Reasoning: An Experimental Study},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {4},
  pages        = {409--455},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9225-4},
  doi          = {10.1007/S10849-015-9225-4},
  timestamp    = {Mon, 11 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jolli/SatoM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Schwarzentruber15,
  author       = {Fran{\c{c}}ois Schwarzentruber},
  title        = {Drawing Interactive Euler Diagrams from Region Connection Calculus
                  Specifications},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {4},
  pages        = {375--408},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9230-7},
  doi          = {10.1007/S10849-015-9230-7},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Schwarzentruber15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/UrbasJS15,
  author       = {Matej Urbas and
                  Mateja Jamnik and
                  Gem Stapleton},
  title        = {Speedith: {A} Reasoner for Spider Diagrams},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {4},
  pages        = {487--540},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-015-9229-0},
  doi          = {10.1007/S10849-015-9229-0},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/UrbasJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Yanovich15,
  author       = {Igor Yanovich},
  title        = {Expressive Power of "Now" and "Then" Operators},
  journal      = {J. Log. Lang. Inf.},
  volume       = {24},
  number       = {1},
  pages        = {65--93},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10849-014-9210-3},
  doi          = {10.1007/S10849-014-9210-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Yanovich15.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.