REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679): Difference between revisions

@@ Property / author @@
-João Rasga
@@ Property / author: João Rasga / rank @@
-Normal rank
@@ Property / author @@
-Cristina Sernadas
@@ Property / author: Cristina Sernadas / rank @@
-Normal rank
@@ Property / author @@
-Walter Alexandre Carnielli
@@ Property / author: Walter Alexandre Carnielli / rank @@
-Normal rank
@@ Property / author @@
+João Rasga
@@ Property / author: João Rasga / rank @@
+Normal rank
@@ Property / author @@
+Cristina Sernadas
@@ Property / author: Cristina Sernadas / rank @@
+Normal rank
@@ Property / author @@
+Walter Alexandre Carnielli
@@ Property / author: Walter Alexandre Carnielli / 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.1017/bsl.2021.17
+Normal rank
@@ Property / OpenAlex ID @@
+W3159106070
@@ Property / OpenAlex ID: W3159106070 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial ring calculus for modalities
@@ Property / cites work: Polynomial ring calculus for modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The classical decision problem.
@@ Property / cites work: The classical decision problem. / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic: consistency, contradiction and negation
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495853
@@ Property / cites work: Q4495853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650662
@@ Property / cites work: Q5650662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799431
@@ Property / cites work: Q5799431 / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4914978
@@ Property / cites work: Q4914978 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization of logics
@@ Property / cites work: Synchronization of logics / rank @@
+Normal rank
@@ Property / cites work @@
+On meet-combination of logics
@@ Property / cites work: On meet-combination of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5226947
@@ Property / cites work: Q5226947 / rank @@
+Normal rank
@@ Property / cites work @@
+Modulated fibring and the collapsing problem
@@ Property / cites work: Modulated fibring and the collapsing problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273953
@@ Property / cites work: Q4273953 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring: completeness preservation
@@ Property / cites work: Fibring: completeness preservation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5009679