On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704): Difference between revisions

@@ 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/s11787-012-0074-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2033347295
@@ Property / OpenAlex ID: W2033347295 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and time
@@ Property / cites work: Logic and time / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518428
@@ Property / cites work: Q4518428 / rank @@
+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 @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Q2721205
@@ Property / cites work: Q2721205 / rank @@
+Normal rank
@@ Property / cites work @@
+Taming first-order logic
@@ Property / cites work: Taming first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873975
@@ Property / cites work: Q4873975 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+A decidable temporal logic of parallelism
@@ Property / cites work: A decidable temporal logic of parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for Branching Time
@@ Property / cites work: Axioms for Branching Time / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the temporal logic with ``until'' over general linear time
+Normal rank
@@ Property / cites work @@
+The complexity of temporal logic over the reals
@@ Property / cites work: The complexity of temporal logic over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of the set of strongly valid Ockhamist formulas
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1945704