Modal information logics: axiomatizations and decidability (Q6145035): Difference between revisions

@@ Property / cites work @@
+Between order and chaos: The quest for meaningful information
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. I: 'Since' and 'until'
@@ Property / cites work: Axioms for tense logic. I: 'Since' and 'until' / rank @@
+Normal rank
@@ Property / cites work @@
+Nonassociative Lambek Calculus with Additives and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Q4694209
@@ Property / cites work: Q4694209 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational semantics of the Lambek calculus extended with classical propositional logic
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218019
@@ Property / cites work: Q4218019 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive agents
@@ Property / cites work: Constructive agents / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit and explicit stances in logic
@@ Property / cites work: Implicit and explicit stances in logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tense logics over lattices
@@ Property / cites work: Tense logics over lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional logics of dependence
@@ Property / cites work: Propositional logics of dependence / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional team logics
@@ Property / cites work: Propositional team logics / rank @@
+Normal rank