Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts;Bulletin of the Section of Logic;2022-01-07
2. Completeness and termination for a Seligman-style tableau system;Journal of Logic and Computation;2015-09-28
3. Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks;Journal of Logic, Language and Information;2014-09-27
4. Hybrid Logic;Handbook of Philosophical Logic;2013-04-09
5. A Seligman-Style Tableau System;Logic for Programming, Artificial Intelligence, and Reasoning;2013