A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on modal sequent logic
@@ Property / cites work: A perspective on modal sequent logic / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen formulation of the modal logic S5
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free modal sequents for normal modal logics
@@ Property / cites work: Cut-free modal sequents for normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems for modal logic
@@ Property / cites work: Sequent-systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229377
@@ Property / cites work: Q4229377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262211
@@ Property / cites work: Q3262211 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed systems of sequents and cut-elimination
@@ Property / cites work: Indexed systems of sequents and cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Q5457387
@@ Property / cites work: Q5457387 / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen-type system for the modal logic S5
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Normal Modal Propositional Logics
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020308080040
+Normal rank
@@ Property / OpenAlex ID @@
+W2164133707
@@ Property / OpenAlex ID: W2164133707 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3580655