The following pages link to Predicate logics on display (Q1283134):
Displaying 6 items.
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Comments on predicative logic (Q2499285) (← links)
- Sequent Calculi for Normal Modal Propositional Logics (Q4291036) (← links)
- Displaying the modal logic of consistency (Q4948528) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)