On Finite Model Property for Admissible Rules (Q4704656): Difference between revisions

@@ Property / author @@
-Q385069
@@ Property / author: Q385069 / rank @@
-Normal rank
@@ Property / author @@
+Vladimir Vladimirovich Rybakov
@@ Property / author: Vladimir Vladimirovich Rybakov / rank @@
+Normal rank
@@ 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.1002/malq.19990450409
+Normal rank
@@ Property / OpenAlex ID @@
+W1975190772
@@ Property / OpenAlex ID: W1975190772 / rank @@
+Normal rank
@@ Property / cites work @@
+That All Normal Extensions of S4.3 Have the Finite Model Property
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logics Containing S 4.3
@@ Property / cites work: The Logics Containing S 4.3 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part I
@@ Property / cites work: Logics containing <i>K</i>4. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+A general filtration method for modal logics
@@ Property / cites work: A general filtration method for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Splittings and the finite model property
@@ Property / cites work: Splittings and the finite model property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999881
@@ Property / cites work: Q3999881 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable noncompact extension of the logic S4
@@ Property / cites work: A decidable noncompact extension of the logic S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics with LM-axioms
@@ Property / cites work: Modal logics with LM-axioms / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A modal analog for Glivenko's theorem and its applications
+Normal rank
@@ Property / cites work @@
+Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property in tense logic
@@ Property / cites work: The finite model property in tense logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4704656