Conferences in DBLP
(aiml) 2004 (conf/aiml/2004)
Félix Bou Complexity of Strict Implication. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:1-16 [Conf ] 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 ] 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 ] Bernhard Heinemann A Two sorted Hybrid Logic Including Guarded Jumps. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:73-92 [Conf ] Andreas Herzig , Ivan José Varzinczak On the Modularity of Theories. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:93-109 [Conf ] 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 ] 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 ] Tadeusz Litak On Notions of Completeness Weaker than Kripke Completeness. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:149-169 [Conf ] 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 ] Thomas Müller On the Formal Structure of Continuous Action. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:191-209 [Conf ] Yuko Murakami Utilitarian Deontic Logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:211-230 [Conf ] 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 ] 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 ] Ilya Shapirovsky On PSPACE-decidability in Transitive Modal Logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:269-287 [Conf ] Valentin B. Shehtman Filtration via Bisimulation. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:289-308 [Conf ] 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 ] 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 ] 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 ] Heinrich Wansing Connexive Modal Logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:367-383 [Conf ]