Event-based time-stamped claim logic (Q2043818): Difference between revisions

@@ 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 @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532196
@@ Property / cites work: Q4532196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Tableaux for Distributed Temporal Logic
@@ Property / cites work: Labelled Tableaux for Distributed Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ Property / cites work @@
+The Unrestricted Combination of Temporal Logic Systems
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for linear temporal logic
@@ Property / cites work: The decision problem for linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+A quantified logic of evidence
@@ Property / cites work: A quantified logic of evidence / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for common knowledge
@@ Property / cites work: Justifications for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Evidence
@@ Property / cites work: Logical Dynamics of Evidence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419874
@@ Property / cites work: Q5419874 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of justified belief, explicit knowledge, and conclusive evidence
+Normal rank
@@ Property / cites work @@
+A logical account of formal argumentation
@@ Property / cites work: A logical account of formal argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic approach to paraconsistency: a logic of evidence and truth
+Normal rank
@@ Property / cites work @@
+Preservation of Craig interpolation by the product of matrix logics
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Justification Logic
@@ Property / cites work: Probabilistic Justification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On probability and logic
@@ Property / cites work: On probability and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624009
@@ Property / cites work: Q3624009 / rank @@
+Normal rank