Honesty in partial logic (Q1919981): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595152
@@ Property / cites work: Q5595152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Q4342079
@@ Property / cites work: Q4342079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703315
@@ Property / cites work: Q3703315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Honesty in partial logic
@@ Property / cites work: Honesty in partial logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287503
@@ Property / cites work: Q4287503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281692
@@ Property / cites work: Q4281692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273421
@@ Property / cites work: Q4273421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395141
@@ Property / cites work: Q4395141 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for communicating systems
@@ Property / cites work: Modal logics for communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the strong semantical completeness of the intuitionistic predicate calculus
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00372771
+Normal rank
@@ Property / OpenAlex ID @@
+W2769428085
@@ Property / OpenAlex ID: W2769428085 / rank @@
+Normal rank