Author:
Bolander Thomas,Blackburn Patrick
Subject
General Computer Science,Theoretical Computer Science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ExpTime Tableaux with Global Caching for Hybrid PDL;Journal of Automated Reasoning;2019-01-01
2. Grafting hypersequents onto nested sequents;Logic Journal of IGPL;2016-03-21
3. A logic for diffusion in social networks;Journal of Applied Logic;2015-03
4. Extended Decision Procedure for a Fragment of HL with Binders;Journal of Automated Reasoning;2014-06-12
5. Hybrid Logic;Handbook of Philosophical Logic;2013-04-09