Neighborhood-Sheaf Semantics for First-Order Modal Logic (Q2825413): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.10.011
+Normal rank
@@ Property / OpenAlex ID @@
+W1979416980
@@ Property / OpenAlex ID: W1979416980 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318195
@@ Property / Wikidata QID: Q113318195 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order classical modal logic
@@ Property / cites work: First-order classical modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
+Normal rank
@@ Property / cites work @@
+A topological completeness theorem
@@ Property / cites work: A topological completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary definability theorem for first order logic
+Normal rank
@@ Property / cites work @@
+Q3050433
@@ Property / cites work: Q3050433 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantification in nonclassical logic. Volume I.
@@ Property / cites work: Quantification in nonclassical logic. Volume I. / rank @@
+Normal rank
@@ Property / cites work @@
+Presheaf semantics and independence results for some non-classical first- order logics
+Normal rank
@@ Property / cites work @@
+Q3804674
@@ Property / cites work: Q3804674 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5676377
@@ Property / cites work: Q5676377 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Completeness results for intuitionistic and modal logic in a categorical setting
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947661
@@ Property / cites work: Q3947661 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal grammar
@@ Property / cites work: Universal grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047529
@@ Property / cites work: Q4047529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694215
@@ Property / cites work: Q4694215 / rank @@
+Normal rank