Pages that link to "Item:Q392998"
From MaRDI portal
The following pages link to Loop-free calculus for modal logic S4. II (Q392998):
Displaying 9 items.
- Loop-free calculus for modal logic S4. I (Q392988) (← links)
- Efficient loop-check for KD45 logic (Q926638) (← links)
- One calculus of nonderivable formulas of propositional modal logic (Q1881787) (← links)
- A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) (← links)
- Path calculus in the modal logic S4 (Q2571516) (← links)
- Contraction-free calculi for modal logics S5 and KD45 (Q2791890) (← links)
- A method of marks and indices for linear modal logic (Q2809680) (← links)
- A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4 (Q3406695) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)