Pages that link to "Item:Q1903134"
From MaRDI portal
The following pages link to Syntactic refutations against finite models in modal logic (Q1903134):
Displaying 6 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Refutations, proofs, and models in the modal logic K4 (Q1604792) (← links)
- A refutation theory (Q1931339) (← links)
- (Q4443210) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)