Quantitative relativizations of complexity classes
SIAM Journal on Computing
Bisimulation through probabilistic testing
Information and Computation
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Basic proof theory
Journal of the ACM (JACM)
On the complexity of integer programming
Journal of the ACM (JACM)
Tableau Calculi for Hybrid Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Road-Map on Complexity for Hybrid Logics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
Natural Deduction for First-Order Hybrid Logic
Journal of Logic, Language and Information
PSPACE Bounds for Rank-1 Modal Logics
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
Journal of Logic and Computation
The Description Logic Handbook
The Description Logic Handbook
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Admissibility of Cut in Coalgebraic Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Shallow Models for Non-iterative Modal Logics
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
CoLoSS: The Coalgebraic Logic Satisfiability Solver
Electronic Notes in Theoretical Computer Science (ENTCS)
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Presburger modal logic is PSPACE-Complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science
A study on multi-dimensional products of graphs and hybrid logics
Theoretical Computer Science
Generalized product of coalgebraic hybrid logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Global caching for coalgebraic description logics
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Narcissists are easy, stepmothers are hard
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Description logics and fuzzy probability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Sequent systems for lewis' conditional logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Automating quantified conditional logics in HOL
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators , thus providing the necessary facilities for reasoning about individual states in a model. This framework, coalgebraic hybrid logic, works at the same level of generality as coalgebraic modal logic, and in particular subsumes, besides normal hybrid logics such as hybrid K , a wide variety of logics with non-normal modal operators such as probabilistic, graded, or coalitional modalities and non-monotonic conditionals. We prove a generic finite model property and an ensuing weak completeness result, and we give a semantic criterion for decidability in PSPACE. Moreover, we present a fully internalised PSPACE tableau calculus. These generic results are easily instantiated to particular hybrid logics and thus yield a wide range of new results, including e.g. decidability in PSPACE of probabilistic and graded hybrid logics.