Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jancl/Ahmed09,
  author       = {Tarek Sayed Ahmed},
  title        = {On a theorem of Vaught for first order logic with finitely many variables},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {1},
  pages        = {97--112},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.97-112},
  doi          = {10.3166/JANCL.19.97-112},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Ahmed09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/ArmandoCC09,
  author       = {Alessandro Armando and
                  Roberto Carbone and
                  Luca Compagna},
  title        = {{LTL} model checking for security protocols},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {4},
  pages        = {403--429},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.403-429},
  doi          = {10.3166/JANCL.19.403-429},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/ArmandoCC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BaarsV09,
  author       = {Egon van Baars and
                  Rineke Verbrugge},
  title        = {A communication algorithm for teamwork in multi-agent environments},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {4},
  pages        = {431--461},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.431-461},
  doi          = {10.3166/JANCL.19.431-461},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BaarsV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BabaianS09,
  author       = {Tamara Babaian and
                  James G. Schmolze},
  title        = {Practical reasoning about knowledge states for open world planning
                  with sensing},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {1},
  pages        = {7--41},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.7-41},
  doi          = {10.3166/JANCL.19.7-41},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BabaianS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BoureanuCL09,
  author       = {Ioana Boureanu and
                  Mika Cohen and
                  Alessio Lomuscio},
  title        = {Automatic verification of temporal-epistemic properties of cryptographic
                  protocols},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {4},
  pages        = {463--487},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.463-487},
  doi          = {10.3166/JANCL.19.463-487},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/BoureanuCL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BroersenHT09,
  author       = {Jan M. Broersen and
                  Andreas Herzig and
                  Nicolas Troquard},
  title        = {What groups do, can do, and know they can do: an analysis in normal
                  modal logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {3},
  pages        = {261--290},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.261-289},
  doi          = {10.3166/JANCL.19.261-289},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BroersenHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Bueno-Soler09,
  author       = {Juliana Bueno{-}Soler},
  title        = {Completeness and incompleteness for anodic modal logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {3},
  pages        = {291--310},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.291-310},
  doi          = {10.3166/JANCL.19.291-310},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Bueno-Soler09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/CaleiroG09,
  author       = {Carlos Caleiro and
                  Ricardo Gon{\c{c}}alves},
  title        = {Behavioral algebraization of da Costa's C-systems},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {2},
  pages        = {127--148},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.127-148},
  doi          = {10.3166/JANCL.19.127-148},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/CaleiroG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Coste-MarquisDM09,
  author       = {Sylvie Coste{-}Marquis and
                  Caroline Devred and
                  Pierre Marquis},
  title        = {Handling controversial arguments},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {3},
  pages        = {311--369},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.311-369},
  doi          = {10.3166/JANCL.19.311-369},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Coste-MarquisDM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/FerrariFF09,
  author       = {Mauro Ferrari and
                  Camillo Fiorentini and
                  Guido Fiorino},
  title        = {A tableau calculus for Propositional Intuitionistic Logic with a refined
                  treatment of nested implications},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {2},
  pages        = {149--166},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.149-166},
  doi          = {10.3166/JANCL.19.149-166},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/FerrariFF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GabbayS09,
  author       = {Dov M. Gabbay and
                  Karl Schlechta},
  title        = {Roadmap for preferential logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {1},
  pages        = {43--95},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.43-95},
  doi          = {10.3166/JANCL.19.43-95},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GabbayS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Kikot09,
  author       = {Stanislav Kikot},
  title        = {An extension of Kracht's theorem to generalized Sahlqvist formulas},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {2},
  pages        = {227--251},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.227-251},
  doi          = {10.3166/JANCL.19.227-251},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Kikot09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/KramerPSTB09,
  author       = {Simon Kramer and
                  Catuscia Palamidessi and
                  Roberto Segala and
                  Andrea Turrini and
                  Christelle Braun},
  title        = {A quantitative doxastic logic for probabilistic processes and applications
                  to information-hiding},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {4},
  pages        = {489--516},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.489-516},
  doi          = {10.3166/JANCL.19.489-516},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/KramerPSTB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Nepomuceno-FernandezSA09,
  author       = {{\'{A}}ngel Nepomuceno{-}Fern{\'{a}}ndez and
                  Fernando Soler{-}Toscano and
                  Atocha Aliseda{-}Llera},
  title        = {Abduction via \emph{C}-tableaux and delta-resolution},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {2},
  pages        = {211--225},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.211-225},
  doi          = {10.3166/JANCL.19.211-225},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Nepomuceno-FernandezSA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Nguyen09,
  author       = {Linh Anh Nguyen},
  title        = {Modal logic programming revisited},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {2},
  pages        = {167--181},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.167-181},
  doi          = {10.3166/JANCL.19.167-181},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Nguyen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/RamosF09,
  author       = {Fernando Manuel Ramos and
                  V{\'{\i}}ctor L. Fern{\'{a}}ndez},
  title        = {Twist-structures semantics for the logics of the hierarchy I\({}^{\mbox{n}}\)
                  P\({}^{\mbox{k}}\)},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {2},
  pages        = {183--209},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.183-209},
  doi          = {10.3166/JANCL.19.183-209},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/RamosF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Robles09,
  author       = {Gemma Robles},
  title        = {Relevance logics and intuitionistic negation {II}},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {19},
  number       = {3},
  pages        = {371--388},
  year         = {2009},
  url          = {https://doi.org/10.3166/jancl.19.371-388},
  doi          = {10.3166/JANCL.19.371-388},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Robles09.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.