Pages that link to "Item:Q4633639"
From MaRDI portal
The following pages link to Modularisation of Sequent Calculi for Normal and Non-normal Modalities (Q4633639):
Displaying 17 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Structural Refinement for the Modal nu-Calculus (Q2938159) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
