Temporal logic with accessibility temporal relations generated by time states themselves (Q779153): Difference between revisions

@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Unification through projectivity
@@ Property / cites work: Unification through projectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Inference rules in Nelson's logics, admissibility and weak admissibility
+Normal rank
@@ Property / cites work @@
+Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
+Normal rank
@@ Property / cites work @@
+Refined common knowledge logics or logics of common information
+Normal rank
@@ Property / cites work @@
+Logical consecutions in discrete linear temporal logic
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
+Normal rank
@@ Property / cites work @@
+Writing out Unifiers in Linear Temporal Logic
@@ Property / cites work: Writing out Unifiers in Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-transitive linear temporal logic and logical knowledge operations
+Normal rank
@@ Property / cites work @@
+Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
+Normal rank
@@ Property / cites work @@
+Multiagent temporal logics with multivaluations
@@ Property / cites work: Multiagent temporal logics with multivaluations / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
+Normal rank
@@ Property / cites work @@
+Temporal multi-valued logic with lost worlds in the past
+Normal rank
@@ Property / cites work @@
+Branching time agents logics, satisfiability problem by rules in reduced form
+Normal rank
@@ Property / cites work @@
+A Tableau Method for Checking Rule Admissibility in S4
+Normal rank
@@ Property / cites work @@
+Tense logic and time
@@ Property / cites work: Tense logic and time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532196
@@ Property / cites work: Q4532196 / rank @@
+Normal rank