Pages that link to "Item:Q2142085"

The following pages link to Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085):

Displaying 2 items.

• Infinitary action logic with exponentiation (Q2067638) (← links)
• Infinitary action logic with multiplexing (Q2698280) (← links)