Pages that link to "Item:Q450956"
From MaRDI portal
The following pages link to A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956):
Displaying 13 items.
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- A logic for epistemic two-dimensional semantics (Q2441758) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? (Q2940881) (← links)
- (Q4735171) (← links)
- QUESTIONS IN TWO-DIMENSIONAL LOGIC (Q5046600) (← links)
- THE LOGIC OF SEQUENCE FRAMES (Q5065138) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- A two-dimensional logic for diagonalization and the a priori (Q6088589) (← links)
