On graphs for intuitionistic modal logics (Q1744424): 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.2016.06.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2469202987
@@ Property / OpenAlex ID: W2469202987 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317677
@@ Property / Wikidata QID: Q113317677 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform tableau method for intuitionistic modal logics. I
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs with graphs
@@ Property / cites work: Proofs with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898472
@@ Property / cites work: Q3898472 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi and decidability for intuitionistic hybrid logic
+Normal rank
@@ Property / cites work @@
+Countermodels from Sequent Calculi in Multi-Modal Logics
+Normal rank
@@ Property / cites work @@
+The Method of Tree-Hypersequents for Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q5858676
@@ Property / cites work: Q5858676 / rank @@
+Normal rank