Q5013887 (Q5013887): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.8209
@@ Property / arXiv ID: 1401.8209 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict Canonical Constructive Systems
@@ Property / cites work: Strict Canonical Constructive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled propositional modal logics: theory and practice
+Normal rank
@@ Property / cites work @@
+On Interpolation and Automatization for Frege Systems
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely many-valued logics and natural deduction
@@ Property / cites work: Finitely many-valued logics and natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+A natural deduction approach to dynamic logic
@@ Property / cites work: A natural deduction approach to dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289329
@@ Property / cites work: Q4289329 / rank @@
+Normal rank
@@ Property / cites work @@
+Classic-Like Analytic Tableaux for Finite-Valued Logics
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192055
@@ Property / cites work: Q4192055 / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5013887