Finite models constructed from canonical formulas (Q2462682): 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.1007/s10992-007-9052-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1981194978
@@ Property / OpenAlex ID: W1981194978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal correspondence for models
@@ Property / cites work: Modal correspondence for models / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of normal forms
@@ Property / cites work: An algebraic theory of normal forms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614644
@@ Property / cites work: Q5614644 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Book review of: N. J. J. Smith, Logic. The laws of truth
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2462682