An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.20.39-61
+Normal rank
@@ Property / OpenAlex ID @@
+W2073398076
@@ Property / OpenAlex ID: W2073398076 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Perspective on Path Constraints
@@ Property / cites work: A Modal Perspective on Path Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Resolution in Modal, Description and Hybrid Logic
@@ Property / cites work: Resolution in Modal, Description and Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A benchmark method for the propositional modal logics K, KT, S4
+Normal rank
@@ Property / cites work @@
+A first step towardsmodeling semistructured data in hybrid multimodal logic
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / 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 @@
+Natural Deduction for Hybrid Logic
@@ Property / cites work: Natural Deduction for Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Terminating tableau systems for hybrid logic with difference and converse
+Normal rank