Proof systems for Moss' coalgebraic logic (Q402120): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 03F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6334958
@@ Property / zbMATH DE Number: 6334958 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebraic logic
@@ Property / zbMATH Keywords: coalgebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent system
@@ Property / zbMATH Keywords: sequent system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebra
@@ Property / zbMATH Keywords: coalgebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cover modality
@@ Property / zbMATH Keywords: cover modality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Gentzen calculus
@@ Property / zbMATH Keywords: Gentzen calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+completeness
@@ Property / zbMATH Keywords: completeness / rank @@
+Normal rank

Revision as of 16:37, 29 June 2023