\({\mathcal E}\)-connections of abstract description systems (Q814594): Difference between revisions

@@ Property / author @@
-Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
-Normal rank
@@ Property / author @@
+Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRP++
@@ Property / describes a project that uses: TRP++ / rank @@
+Normal rank
@@ 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.1016/j.artint.2004.02.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1981237135
@@ Property / OpenAlex ID: W1981237135 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4230717
@@ Property / cites work: Q4230717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressivity of feature logics with negation, functional uncertainty, and sort equations
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533343
@@ Property / cites work: Q4533343 / rank @@
+Normal rank
@@ Property / cites work @@
+A multi-dimensional terminological knowledge representation language
+Normal rank
@@ Property / cites work @@
+Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996
+Normal rank
@@ Property / cites work @@
+Q4877439
@@ Property / cites work: Q4877439 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-dependent concepts: representation and reasoning using temporal description logics
+Normal rank
@@ Property / cites work @@
+Q4411597
@@ Property / cites work: Q4411597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on graded modal logic
@@ Property / cites work: A note on graded modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762491
@@ Property / cites work: Q2762491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218020
@@ Property / cites work: Q4218020 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b>
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+Axiomatizing Distance Logics
@@ Property / cites work: Axiomatizing Distance Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of metric spaces
@@ Property / cites work: Logics of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q4938425
@@ Property / cites work: Q4938425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539597
@@ Property / cites work: Q4539597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465445
@@ Property / cites work: Q5465445 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of products of modal logics
@@ Property / cites work: Complexity of products of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for BDI logics
@@ Property / cites work: Decision procedures for BDI logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536315
@@ Property / cites work: Q4536315 / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Logic of Rational Agency
@@ Property / cites work: Towards a Logic of Rational Agency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215611
@@ Property / cites work: Q4215611 / rank @@
+Normal rank