THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999): Difference between revisions

@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite embeddability property for residuated ordered groupoids
+Normal rank
@@ Property / cites work @@
+On the logic of ability
@@ Property / cites work: On the logic of ability / rank @@
+Normal rank
@@ Property / cites work @@
+On bringing it about
@@ Property / cites work: On bringing it about / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Power and Limits of Structural Display Rules
@@ Property / cites work: Power and Limits of Structural Display Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Expanding the Realm of Systematic Proof Theory
@@ Property / cites work: Expanding the Realm of Systematic Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Canonicity results for mu-calculi: an algorithmic approach
+Normal rank
@@ Property / cites work @@
+Constructive canonicity for lattice-based fixed point logics
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence for intuitionistic modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Categories: How I Learned to Stop Worrying and Love Two Sorts
+Normal rank
@@ Property / cites work @@
+Q3384065
@@ Property / cites work: Q3384065 / rank @@
+Normal rank
@@ Property / cites work @@
+Johan van Benthem on logic and information dynamics
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Algebraic modal correspondence: Sahlqvist and beyond
+Normal rank
@@ Property / cites work @@
+On Sahlqvist theory for hybrid logics
@@ Property / cites work: On Sahlqvist theory for hybrid logics / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of agent organizations
@@ Property / cites work: A logic of agent organizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942680
@@ Property / cites work: Q4942680 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for propositional dynamic logic
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+A proof-theoretic semantic analysis of dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+A Multi-type Calculus for Inquisitive Logic
@@ Property / cites work: A Multi-type Calculus for Inquisitive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dual characterizations for finite lattices via correspondence theory for monotone modal logic
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic Displayed
@@ Property / cites work: Dynamic Epistemic Logic Displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for semi De Morgan logic
+Normal rank
@@ Property / cites work @@
+Lattice logic properly displayed
@@ Property / cites work: Lattice logic properly displayed / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated groupoids.
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of linear affine logic
@@ Property / cites work: Decidability of linear affine logic / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Updates on Algebras
@@ Property / cites work: Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics and model completeness for intuitionistic public announcement logic
+Normal rank
@@ Property / cites work @@
+Unified correspondence and proof theory for strict implication
+Normal rank
@@ Property / cites work @@
+From Petri nets to linear logic
@@ Property / cites work: From Petri nets to linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Jónsson-style canonicity for ALBA-inequalities
@@ Property / cites work: Jónsson-style canonicity for ALBA-inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist theory for impossible worlds
@@ Property / cites work: Sahlqvist theory for impossible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus and logic of resources and processes
@@ Property / cites work: A calculus and logic of resources and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+The logic of deliberate action
@@ Property / cites work: The logic of deliberate action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501165
@@ Property / cites work: Q4501165 / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank