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
@@ 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.1016/j.tcs.2014.06.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2105634236
@@ Property / OpenAlex ID: W2105634236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3589829
@@ Property / cites work: Q3589829 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086937
@@ Property / cites work: Q3086937 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Complementation of Coalgebra Automata
@@ Property / cites work: Complementation of Coalgebra Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085167
@@ Property / cites work: Q3085167 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for the coalgebraic cover modality
@@ Property / cites work: Completeness for the coalgebraic cover modality / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Automata Theory: Basic Results
@@ Property / cites work: Coalgebraic Automata Theory: Basic Results / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Lax Extensions of Coalgebra Functors
@@ Property / cites work: Lax Extensions of Coalgebra Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic view on positive modal logic
@@ Property / cites work: A coalgebraic view on positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Admissibility of Cut in Coalgebraic Logics
@@ Property / cites work: Admissibility of Cut in Coalgebraic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Modal Cut Elimination Applied to Conditional Logics
+Normal rank
@@ Property / cites work @@
+Cut elimination in coalgebraic logics
@@ Property / cites work: Cut elimination in coalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904063
@@ Property / cites work: Q2904063 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Q4166879
@@ Property / cites work: Q4166879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:402120