Logical consecutions in discrete linear temporal logic (Q5486245): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1129642119
+Normal rank
@@ Property / OpenAlex ID @@
+W2093974031
@@ Property / OpenAlex ID: W2093974031 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4178997
@@ Property / cites work: Q4178997 / rank @@
+Normal rank
@@ Property / cites work @@
+ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4487248
@@ Property / cites work: Q4487248 / rank @@
+Normal rank
@@ Property / cites work @@
+On Finite Model Property for Admissible Rules
@@ Property / cites work: On Finite Model Property for Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Refined common knowledge logics or logics of common information
+Normal rank
@@ Property / cites work @@
+Construction of an Explicit Basis for Rules Admissible in Modal System S4
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank