Multi-agent logics with multi-valuations and intensional logical operations (Q2207025): 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 / cites work @@
+Q4536333
@@ Property / cites work: Q4536333 / 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 @@
+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 @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / 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 @@
+Q4219045
@@ Property / cites work: Q4219045 / 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 @@
+Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+Normal rank
@@ Property / cites work @@
+Non-transitive linear temporal logic and logical knowledge operations
+Normal rank
@@ Property / cites work @@
+Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Independent Bases of Admissible Rules
@@ Property / cites work: Independent Bases of Admissible Rules / rank @@
+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 @@
+Unification through projectivity
@@ Property / cites work: Unification through projectivity / rank @@
+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 @@
+Multiagent temporal logics with multivaluations
@@ Property / cites work: Multiagent temporal logics with multivaluations / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s1995080220020134
+Normal rank
@@ Property / OpenAlex ID @@
+W3042999427
@@ Property / OpenAlex ID: W3042999427 / rank @@
+Normal rank