Admissibility of Cut in Coalgebraic Logics (Q2873670): 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.1016/j.entcs.2008.05.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2104166006
@@ Property / OpenAlex ID: W2104166006 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free tableau calculi for some propositional normal modal logics
+Normal rank
@@ Property / cites work @@
+Q4364506
@@ Property / cites work: Q4364506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent and tableau systems for propositional Diodorean modal logics
+Normal rank
@@ Property / cites work @@
+Q4518916
@@ Property / cites work: Q4518916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847811
@@ Property / cites work: Q2847811 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in normal modal logics
+Normal rank
@@ Property / cites work @@
+Q3972527
@@ Property / cites work: Q3972527 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus and a theorem prover for standard conditional logics
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics Are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics Are Coalgebraic / rank @@
+Normal rank
@@ Property / cites work @@
+A finite model construction for coalgebraic modal logic
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank