Formulas expressing totally nonstable truth values of formulas (Q6115007): Difference between revisions

@@ Property / OpenAlex ID @@
+W4379469352
@@ Property / OpenAlex ID: W4379469352 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+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 @@
+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 @@
+Multiagent temporal logics with multivaluations
@@ Property / cites work: Multiagent temporal logics with multivaluations / rank @@
+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 @@
+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