Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Balbiani, P., Vakarelov, D.: First-order characterization and modal analysis of indiscernibility and complementarity in information systems. In Benferhat, S., Besnard, P. (Editors): Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer-Verlag, Lecture Notes in Artificial Intelligence 2143 (2001) 772–781.
2. Demri, S.: The nondeterministic information logic NIL is PSPACE-complete. Fundamenta Informaticæ42 (2000) 211–234.
3. Demri, S., Orłowska, E., Vakarelov, D.: Indiscernibility and complementarity relations in information systems. In Gerbrandy, J., Marx, M., de Rijke, M., Venema, Y. (Editors): JFAK: Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press (1999) http://turing.wins.uva.nl/~j50/cdrom/contribs/demri/index.html .
4. Hughes, G., Cresswell, M.: A Companion to Modal Logic. Methuen (1984).
5. Ladner, R.: The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6 (1977) 467–480.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献