UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00155
@@ Property / arXiv ID: 1501.00155 / rank @@
+Normal rank
@@ Property / cites work @@
+Inquisitive logic
@@ Property / cites work: Inquisitive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic operators in dependence logic
@@ Property / cites work: Epistemic operators in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4362727
@@ Property / cites work: Q4362727 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal features of compositionality
@@ Property / cites work: Formal features of compositionality / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Compositionality
@@ Property / cites work: Remarks on Compositionality / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness in propositional logics of dependence
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic translations, correctness and algebraic compiler construction
+Normal rank
@@ Property / cites work @@
+Q4840207
@@ Property / cites work: Q4840207 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Propositional Dependence Logics
@@ Property / cites work: Axiomatizing Propositional Dependence Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional logics of dependence
@@ Property / cites work: Propositional logics of dependence / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5737961