Pages that link to "Item:Q1682296"
From MaRDI portal
The following pages link to Sequent systems for negative modalities (Q1682296):
Displaying 6 items.
- Compositional meaning in logic (Q1682292) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- (Q4036587) (← links)
- (Q4636049) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)
