Pages that link to "Item:Q1682296"

The following pages link to Sequent systems for negative modalities (Q1682296):

Displaying 2 items.

• Compositional meaning in logic (Q1682292) (← links)
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)