The SCEAS System
Navigation Menu

Conferences in DBLP

(aiml)
2004 (conf/aiml/2004)

  1. Félix Bou
    Complexity of Strict Implication. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:1-16 [Conf]
  2. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:17-51 [Conf]
  3. Tim French, Ron van der Meyden, Mark Reynolds
    Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:53-72 [Conf]
  4. Bernhard Heinemann
    A Two sorted Hybrid Logic Including Guarded Jumps. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:73-92 [Conf]
  5. Andreas Herzig, Ivan José Varzinczak
    On the Modularity of Theories. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:93-109 [Conf]
  6. Tapani Hyttinen, Tero Tulenheimo
    Decidability of IF Modal Logic of Perfect Recall. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:111-131 [Conf]
  7. Martin Lange
    A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:133-147 [Conf]
  8. Tadeusz Litak
    On Notions of Completeness Weaker than Kripke Completeness. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:149-169 [Conf]
  9. Yutaka Miyazaki
    Normal Modal Logics Containing KTB with some Finiteness Conditions. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:171-190 [Conf]
  10. Thomas Müller
    On the Formal Structure of Continuous Action. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:191-209 [Conf]
  11. Yuko Murakami
    Utilitarian Deontic Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:211-230 [Conf]
  12. Cláudia Nalon, Clare Dixon, Michael Fisher
    Resolution for Synchrony and No Learning. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:231-248 [Conf]
  13. Linh Anh Nguyen
    On the Complexity of Fragments of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:249-268 [Conf]
  14. Ilya Shapirovsky
    On PSPACE-decidability in Transitive Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:269-287 [Conf]
  15. Valentin B. Shehtman
    Filtration via Bisimulation. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:289-308 [Conf]
  16. Charles Stewart, Phiniki Stouppa
    A Systematic Proof Theory for Several Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:309-333 [Conf]
  17. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Public Announcements and Belief Expansion. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:335-346 [Conf]
  18. Arild Waaler
    Consistency Proofs for Systems of Multi?agent Only Knowing. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:347-366 [Conf]
  19. Heinrich Wansing
    Connexive Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:367-383 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002