Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.07.102
+Normal rank
@@ Property / OpenAlex ID @@
+W2126435975
@@ Property / OpenAlex ID: W2126435975 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Actions as Resources
@@ Property / cites work: Epistemic Actions as Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247207
@@ Property / cites work: Q4247207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953875
@@ Property / cites work: Q4953875 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal algebra
@@ Property / cites work: Temporal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for some tense logics
@@ Property / cites work: Cut-free sequent calculi for some tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal Linguistic Inference
@@ Property / cites work: Multimodal Linguistic Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / 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 @@
+Ockham's razor and reasoning about information flow
+Normal rank
@@ Property / cites work @@
+Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank