Satisfiability problem in interval FP-logic (Q6115004): Difference between revisions

@@ Property / OpenAlex ID @@
+W4379470746
@@ Property / OpenAlex ID: W4379470746 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+Normal rank
@@ Property / cites work @@
+Unification in linear temporal logic LTL
@@ Property / cites work: Unification in linear temporal logic LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive number restrictions in description logics
+Normal rank
@@ Property / cites work @@
+Unification in a Description Logic with Transitive Closure of Roles
+Normal rank
@@ Property / cites work @@
+Unification in the Description Logic EL
@@ Property / cites work: Unification in the Description Logic EL / rank @@
+Normal rank
@@ Property / cites work @@
+Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Non-transitive linear temporal logic and logical knowledge operations
+Normal rank
@@ Property / cites work @@
+Temporal logic with accessibility temporal relations generated by time states themselves
+Normal rank
@@ Property / cites work @@
+Multi-agent temporal nontransitive linear logics and the admissibility problem
+Normal rank
@@ Property / cites work @@
+Branching time logics with multiagent temporal accessibility relations
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank