Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085): 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.1007/978-3-030-86059-2_19
+Normal rank
@@ Property / OpenAlex ID @@
+W3198002352
@@ Property / OpenAlex ID: W3198002352 / rank @@
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Action Logic: Equational Theories of Action Algebras
+Normal rank
@@ Property / cites work @@
+Infinitary action logic: complexity, models and grammars
+Normal rank
@@ Property / cites work @@
+Q5079743
@@ Property / cites work: Q5079743 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431598
@@ Property / cites work: Q5431598 / rank @@
+Normal rank
@@ Property / cites work @@
+Subexponentials in non-commutative linear logic
@@ Property / cites work: Subexponentials in non-commutative linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Soft subexponentials and multiplexing
@@ Property / cites work: Soft subexponentials and multiplexing / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of reasoning in Kleene algebra
@@ Property / cites work: On the complexity of reasoning in Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential
+Normal rank
@@ Property / cites work @@
+Infinitary action logic with exponentiation
@@ Property / cites work: Infinitary action logic with exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear 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 @@
+Q3590769
@@ Property / cites work: Q3590769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Language-theoretic and finite relation models for the (full) Lambek calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2142085