Author:
Demri Stéphane,De Nivelle Hans
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference76 articles.
1. Abadi, M., Burrows, M., Lampson, B., and Plotkin, G., 1993, “A calculus for access control in distributed systems,” ACM Transactions on Prog. Languages and Systems 15(4), 706–734.
2. Alechina, N. and Shkatov, D., 2003, “On decidability of intuitionistic modal logics,” in Third Workshop on Methods for Modalities, Nancy.
3. Andreka, H., Nemeti, I., and van Benthem, J., 1998, “Modal languages and bounded fragments of predicate logic,” Journal of Philosophical Logic 27(3), 217–274.
4. Areces, C., Blackburn, P., and Marx, M., 2000, “Complexity of hybrid temporal logics,” Logic Journal of the IGPL 8(5), 653–679.
5. Balbiani, P. and Herzig, A., 1994, “A translation from the modal logic of provability into K4,” Journal of Applied Non-Classical Logics 4, 73–77.
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献