Pages that link to "Item:Q1908788"
From MaRDI portal
The following pages link to A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788):
Displaying 6 items.
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Which modal logic is the right one? (Q5937846) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
