Search dblp for Publications

export results for "toc:db/journals/jancl/jancl25.bht:"

 download as .bib file

@article{DBLP:journals/jancl/Ahmed15,
  author       = {Tarek Sayed Ahmed},
  title        = {Varying interpolation and amalgamation in polyadic MV-algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {2},
  pages        = {140--192},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1067037},
  doi          = {10.1080/11663081.2015.1067037},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Ahmed15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Balbiani15,
  author       = {Philippe Balbiani},
  title        = {Putting right the wording and the proof of the Truth Lemma for \emph{APAL}},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {1},
  pages        = {2--19},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1011489},
  doi          = {10.1080/11663081.2015.1011489},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Balbiani15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BergstraB15,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Note on paraconsistency and reasoning about fractions},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {2},
  pages        = {120--124},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1047232},
  doi          = {10.1080/11663081.2015.1047232},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BergstraB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/ConiglioCP15,
  author       = {Marcelo E. Coniglio and
                  Luis Fari{\~{n}}as del Cerro and
                  Newton Marques Peron},
  title        = {Finite non-deterministic semantics for some modal systems},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {1},
  pages        = {20--45},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1011543},
  doi          = {10.1080/11663081.2015.1011543},
  timestamp    = {Wed, 19 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/ConiglioCP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/DemriD15,
  author       = {St{\'{e}}phane Demri and
                  Morgan Deters},
  title        = {Separation logics and modalities: a survey},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {1},
  pages        = {50--99},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1018801},
  doi          = {10.1080/11663081.2015.1018801},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DemriD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/DitmarschI15,
  author       = {Hans van Ditmarsch and
                  Petar Iliev},
  title        = {The succinctness of the cover modality},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {4},
  pages        = {373--405},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2016.1144016},
  doi          = {10.1080/11663081.2016.1144016},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DitmarschI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Garbacz15,
  author       = {Pawel Garbacz},
  title        = {Conceptual frames revisited},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {4},
  pages        = {287--307},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1128795},
  doi          = {10.1080/11663081.2015.1128795},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Garbacz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Giordani15,
  author       = {Alessandro Giordani},
  title        = {A new framework for justification logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {4},
  pages        = {308--323},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1128796},
  doi          = {10.1080/11663081.2015.1128796},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Giordani15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Herzig15,
  author       = {Andreas Herzig},
  title        = {Letter from the Editor},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {1},
  pages        = {1},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1032478},
  doi          = {10.1080/11663081.2015.1032478},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Herzig15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/McCabe-DanstedF15,
  author       = {John Christopher McCabe{-}Dansted and
                  Tim French and
                  Sophie Pinchinat and
                  Mark Reynolds},
  title        = {Expressiveness and succinctness of a logic of robustness},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {3},
  pages        = {193--228},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1050907},
  doi          = {10.1080/11663081.2015.1050907},
  timestamp    = {Fri, 02 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/McCabe-DanstedF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/PorelloT15,
  author       = {Daniele Porello and
                  Nicolas Troquard},
  title        = {Non-normal modalities in variants of linear logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {3},
  pages        = {229--255},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1080422},
  doi          = {10.1080/11663081.2015.1080422},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/PorelloT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Schumann15,
  author       = {Andrew Schumann},
  title        = {\emph{p}-Adic valued logical calculi in simulations of the slime mould
                  behaviour},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {2},
  pages        = {125--139},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1049099},
  doi          = {10.1080/11663081.2015.1049099},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Schumann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Sedlar15,
  author       = {Igor Sedl{\'{a}}r},
  title        = {Substructural epistemic logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {3},
  pages        = {256--285},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1094313},
  doi          = {10.1080/11663081.2015.1094313},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Sedlar15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/SinghG15,
  author       = {Prem Kumar Singh and
                  Abdullah Gani},
  title        = {Fuzzy concept lattice reduction using Shannon entropy and Huffman
                  coding},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {2},
  pages        = {101--119},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1039857},
  doi          = {10.1080/11663081.2015.1039857},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/SinghG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Tsohatzidis15,
  author       = {Savas L. Tsohatzidis},
  title        = {A problem for a logic of 'because'},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {1},
  pages        = {46--49},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1005548},
  doi          = {10.1080/11663081.2015.1005548},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Tsohatzidis15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Yang15,
  author       = {Greg Yang},
  title        = {Computability of validity and satisfiability in probability logics
                  over finite and countable models},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {4},
  pages        = {324--372},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2016.1139967},
  doi          = {10.1080/11663081.2016.1139967},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Yang15.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.