Decidability: theorems and admissible rules (Q3643317): Difference between revisions

@@ Property / author @@
-Q385069
@@ Property / author: Q385069 / 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.3166/jancl.18.293-308
+Normal rank
@@ Property / OpenAlex ID @@
+W2050450965
@@ Property / OpenAlex ID: W2050450965 / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic extensions of arrow logic
@@ Property / cites work: Dynamic extensions of arrow logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical modal logic: A view of its evolution
@@ Property / cites work: Mathematical modal logic: A view of its evolution / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about common knowledge with infinitely many agents
+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 @@
+Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
+Normal rank
@@ Property / cites work @@
+Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Multi-agent dynamic logics with informational test
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3643317