Hybrid logic with the difference modality for generalisations of graphs (Q631090): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2010.08.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2092988840
@@ Property / OpenAlex ID: W2092988840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based Decision Procedures for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction of complete coalgebraic logics
+Normal rank
@@ Property / cites work @@
+From onions to broccoli: generalizing Lewis' counterfactual logic
+Normal rank
@@ Property / cites work @@
+Copower functors
@@ Property / cites work: Copower functors / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849846
@@ Property / cites work: Q2849846 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux for the Coalgebraic μ-Calculus
@@ Property / cites work: EXPTIME Tableaux for the Coalgebraic μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Hybrid Logic
@@ Property / cites work: Coalgebraic Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Admissibility of Cut in Coalgebraic Logics
@@ Property / cites work: Admissibility of Cut in Coalgebraic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
+Normal rank
@@ Property / cites work @@
+Generic Modal Cut Elimination Applied to Conditional Logics
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+A finite model construction for coalgebraic modal logic
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics Are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics Are Coalgebraic / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE bounds for rank-1 modal logics
@@ Property / cites work: PSPACE bounds for rank-1 modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank