Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127): Difference between revisions

@@ Property / DOI @@
-.33048/semi.2019.16.079
@@ Property / DOI: 10.33048/semi.2019.16.079 / rank @@
-Normal rank
@@ Property / author @@
-Vladimir Vladimirovich Rybakov
@@ Property / author: Vladimir Vladimirovich Rybakov / rank @@
-Normal rank
@@ 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.33048/semi.2019.16.079
+Normal rank
@@ Property / OpenAlex ID @@
+W3015257209
@@ Property / OpenAlex ID: W3015257209 / rank @@
+Normal rank
@@ Property / cites work @@
+Query and Predicate Emptiness in Ontology-Based Data Access
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+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 @@
+Q3148329
@@ Property / cites work: Q3148329 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / 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 @@
+Q4218015
@@ Property / cites work: Q4218015 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic inseparability and modularity of description logic ontologies
+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 @@
+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 @@
+Linear temporal logic with until and next, logical consecutions
+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 @@
+Temporal multi-valued logic with lost worlds in the past
+Normal rank
@@ Property / cites work @@
+Multiagent temporal logics with multivaluations
@@ Property / cites work: Multiagent temporal logics with multivaluations / rank @@
+Normal rank
@@ Property / cites work @@
+Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
+Normal rank
@@ Property / cites work @@
+Q4536333
@@ Property / cites work: Q4536333 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for Ontologies
@@ Property / cites work: Automata for Ontologies / rank @@
+Normal rank
@@ Property / DOI @@
+.33048/SEMI.2019.16.079
@@ Property / DOI: 10.33048/SEMI.2019.16.079 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2331127