Pages that link to "Item:Q5210808"
From MaRDI portal
The following pages link to Strongly analytic tableaux for normal modal logics (Q5210808):
Displayed 18 items.
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Prefixed tableaus and nested sequents (Q409323) (← links)
- First-order intensional logic (Q598308) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
- Labelled tableau systems for some subintuitionistic logics (Q2334660) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- (Q6191004) (← links)