Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jancl/AfanasievBDGGMR05,
  author       = {Loredana Afanasiev and
                  Patrick Blackburn and
                  Ioanna Dimitriou and
                  Bertrand Gaiffe and
                  Evan Goris and
                  Maarten Marx and
                  Maarten de Rijke},
  title        = {{PDL} for Ordered Trees},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {2},
  pages        = {115--135},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.115-135},
  doi          = {10.3166/JANCL.15.115-135},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/AfanasievBDGGMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Ahmed05,
  author       = {Tarek Sayed Ahmed},
  title        = {Omitting types for algebraizable extensions of first order logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {4},
  pages        = {465--489},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.465-489},
  doi          = {10.3166/JANCL.15.465-489},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Ahmed05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Borgo05,
  author       = {Stefano Borgo},
  title        = {Quantificational Modal Logic with Sequential Kripke Semantics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {2},
  pages        = {137--188},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.137-188},
  doi          = {10.3166/JANCL.15.137-188},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Borgo05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Crabbe05,
  author       = {Marcel Crabb{\'{e}}},
  title        = {Cuts and gluts},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {3},
  pages        = {249--263},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.249-263},
  doi          = {10.3166/JANCL.15.249-263},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Crabbe05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/DOttavianoC05,
  author       = {Itala M. Loffredo D'Ottaviano and
                  Milton Augustinis De Castro},
  title        = {Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics
                  Cn, 1{\textgreater}n{\textgreater}w},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {1},
  pages        = {69--103},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.69-103},
  doi          = {10.3166/JANCL.15.69-103},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/DOttavianoC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Ditmarsch05,
  author       = {Hans P. van Ditmarsch},
  title        = {The case of the hidden hand},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {4},
  pages        = {437--452},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.437-452},
  doi          = {10.3166/JANCL.15.437-452},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Ditmarsch05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/EleftheriouK05,
  author       = {Pantelis E. Eleftheriou and
                  Costas D. Koutras},
  title        = {Frame constructions, truth invariance and validity preservation in
                  many-valued modal logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {4},
  pages        = {367--388},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.367-388},
  doi          = {10.3166/JANCL.15.367-388},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/EleftheriouK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/ForcheriG05,
  author       = {Paola Forcheri and
                  Paolo Gentilini},
  title        = {Paraconsistent conjectural deduction based on logical entropy measures
                  {I:} C-systems as non-standard inference framework},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {3},
  pages        = {285--319},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.285-319},
  doi          = {10.3166/JANCL.15.285-319},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/ForcheriG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Jonsson05,
  author       = {Peter Jonsson},
  title        = {Adding clauses to poor man's logic (without increasing the complexity)},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {3},
  pages        = {341--357},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.341-357},
  doi          = {10.3166/JANCL.15.341-357},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Jonsson05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Kamide05,
  author       = {Norihiro Kamide},
  title        = {Natural deduction systems for Nelson's paraconsistent logic and its
                  neighbors},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {4},
  pages        = {405--435},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.405-435},
  doi          = {10.3166/JANCL.15.405-435},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/Kamide05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Konikowska05,
  author       = {Beata Konikowska},
  title        = {A Decompositional Deduction System for a Logic Featuring Inconsistency
                  and Uncertainty},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {1},
  pages        = {25--44},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.25-44},
  doi          = {10.3166/JANCL.15.25-44},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/Konikowska05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Liberatore05,
  author       = {Paolo Liberatore},
  title        = {Seminormalizing a default theory},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {3},
  pages        = {321--340},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.321-340},
  doi          = {10.3166/JANCL.15.321-340},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Liberatore05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/LutzW05,
  author       = {Carsten Lutz and
                  Dirk Walther},
  title        = {{PDL} with Negation of Atomic Programs},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {2},
  pages        = {189--213},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.189-213},
  doi          = {10.3166/JANCL.15.189-213},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/LutzW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/MortensenQ05,
  author       = {Chris Mortensen and
                  P. Quigley},
  title        = {Cubic Logic, Ulam Games, and Paraconsistency},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {1},
  pages        = {59--68},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.59-68},
  doi          = {10.3166/JANCL.15.59-68},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/MortensenQ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Riche05,
  author       = {J. Riche},
  title        = {Decision Procedure of some Relevant Logics: {A} Constructive Perspective},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {1},
  pages        = {9--23},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.9-23},
  doi          = {10.3166/JANCL.15.9-23},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Riche05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/RoblesM05,
  author       = {Gemma Robles and
                  Jos{\'{e}} M. M{\'{e}}ndez},
  title        = {A constructive negation for logics including {TW+}},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {4},
  pages        = {389--404},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.389-404},
  doi          = {10.3166/JANCL.15.389-404},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/RoblesM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Sagastume05,
  author       = {Marta Sagastume},
  title        = {Conical logic and l-groups logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {3},
  pages        = {265--283},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.265-283},
  doi          = {10.3166/JANCL.15.265-283},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/Sagastume05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Skura05,
  author       = {Tomasz F. Skura},
  title        = {Intuitionistic Socratic procedures},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {4},
  pages        = {453--464},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.453-464},
  doi          = {10.3166/JANCL.15.453-464},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/Skura05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Villadsen05,
  author       = {J{\o}rgen Villadsen},
  title        = {Supra-logic: Using Transfinite Type Theory with Type Variables for
                  Paraconsistency},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {1},
  pages        = {45--58},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.45-58},
  doi          = {10.3166/JANCL.15.45-58},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Villadsen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/ZhangF05,
  author       = {Dongmo Zhang and
                  Norman Y. Foo},
  title        = {Frame problem in dynamic logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {2},
  pages        = {215--239},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.215-239},
  doi          = {10.3166/JANCL.15.215-239},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/ZhangF05.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.