Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jancl/jancl19.bht:"
@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} }
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.