The following pages link to (Q5668435):
Displaying 25 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- A cut-free sequential system for the propositional modal logic of finite chains (Q585187) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- A study of some tense logics by Gentzen's sequential method (Q1145691) (← links)
- A Hintikka possible worlds model for certainty levels in medical decision making (Q1157284) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Embeddings of classical logic in S4 (Q1233017) (← links)
- Cut-free sequent and tableau systems for propositional Diodorean modal logics (Q1337606) (← links)
- The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
- Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia (Q1836258) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- Modal propositional logic on an orthomodular basis. I (Q4055962) (← links)
- European summer meeting of the Association for Symbolic Logic (Q4276039) (← links)
- A modal view of linear logic (Q4314678) (← links)
- On Some Modal Type Intuitionistic Fuzzy Operators (Q4558950) (← links)
- A Lewisian Semantics for S2 (Q4983329) (← links)
- Sequent-systems for modal logic (Q5187258) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
