Inference Rules in Multi-agents’ Temporal Logics (Q3013073): Difference between revisions

@@ Property / author @@
+Vladimir Vladimirovich Rybakov
@@ Property / author: Vladimir Vladimirovich Rybakov / 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.1007/978-3-642-21884-2_4
+Normal rank
@@ Property / OpenAlex ID @@
+W41115969
@@ Property / OpenAlex ID: W41115969 / 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 @@
+Modality, bisimulation and interpolation in infinitary logic
+Normal rank
@@ Property / cites work @@
+A theory of hierarchical consequence and conditionals
+Normal rank
@@ Property / cites work @@
+Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
+Normal rank
@@ Property / cites work @@
+Complexity of monodic guarded fragments over linear and real time
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about common knowledge with infinitely many agents
+Normal rank
@@ Property / cites work @@
+Multi-agent dynamic logics with informational test
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of transition systems
@@ Property / cites work: Logic of transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Logical consecutions in discrete linear temporal logic
+Normal rank
@@ Property / cites work @@
+Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
+Normal rank
@@ Property / cites work @@
+Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
+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 @@
+Q4461957
@@ Property / cites work: Q4461957 / rank @@
+Normal rank
@@ Property / cites work @@
+Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions
+Normal rank
@@ Property / cites work @@
+The hierarchical approach to modeling knowledge and common knowledge
+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 LTLK extended by Multi-Agent Logic Kn with Interacting Agents
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank