Pages that link to "Item:Q935019"
From MaRDI portal
The following pages link to Infinitary action logic: complexity, models and grammars (Q935019):
Displaying 12 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- On the Logic of Expansion in Natural Language (Q2964007) (← links)
- Verifying Properties of Infinite Sequences of Description Logic Actions (Q2999106) (← links)
- On Action Logic: Equational Theories of Action Algebras (Q3437263) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
