default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 19
Volume 19, Number 1, 2009
- Tamara Babaian, James G. Schmolze:
Practical reasoning about knowledge states for open world planning with sensing. 7-41 - Dov M. Gabbay, Karl Schlechta:
Roadmap for preferential logics. 43-95 - Tarek Sayed Ahmed:
On a theorem of Vaught for first order logic with finitely many variables. 97-112
Volume 19, Number 2, 2009
- Carlos Caleiro
, Ricardo Gonçalves:
Behavioral algebraization of da Costa's C-systems. 127-148 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications. 149-166 - Linh Anh Nguyen:
Modal logic programming revisited. 167-181 - Fernando Manuel Ramos, Víctor L. Fernández:
Twist-structures semantics for the logics of the hierarchy In Pk. 183-209 - Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera:
Abduction via C-tableaux and delta-resolution. 211-225 - Stanislav Kikot:
An extension of Kracht's theorem to generalized Sahlqvist formulas. 227-251
Volume 19, Number 3, 2009
- Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
What groups do, can do, and know they can do: an analysis in normal modal logics. 261-290 - Juliana Bueno-Soler:
Completeness and incompleteness for anodic modal logics. 291-310 - Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Handling controversial arguments. 311-369 - Gemma Robles:
Relevance logics and intuitionistic negation II. 371-388
Volume 19, Number 4, 2009
- Alessandro Armando, Roberto Carbone, Luca Compagna:
LTL model checking for security protocols. 403-429 - Egon van Baars, Rineke Verbrugge:
A communication algorithm for teamwork in multi-agent environments. 431-461 - Ioana Boureanu, Mika Cohen, Alessio Lomuscio:
Automatic verification of temporal-epistemic properties of cryptographic protocols. 463-487 - Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun:
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. 489-516
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.
last updated on 2024-12-19 22:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
