The following pages link to M. J. Cresswell (Q516413):
Displayed 50 items.
- Prior on the semantics of modal and tense logic (Q516414) (← links)
- Infinite sets of nonequivalent modalities (Q583188) (← links)
- Urn models: A classical exposition (Q791516) (← links)
- On modal logics which enrich first-order S5 (Q801894) (← links)
- (Q918532) (redirect page) (← links)
- Modal definability in enriched languages (Q918533) (← links)
- Verificaton, falsification, and cancellation in KT (Q920076) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- The decidable normal modal logics are not recursively enumerable (Q1072542) (← links)
- Why objects exist but events occur (Q1088977) (← links)
- Magari's theorem via the recession frame (Q1090325) (← links)
- Solutions for Porte's conjectures (Q1097255) (← links)
- Assertion, denial and some cancellation rules in modal logic (Q1106191) (← links)
- On the methodology of possible worlds semantics. I: Correspondence theory (Q1115408) (← links)
- Necessity and contingency (Q1116939) (← links)
- Quotational theories of propositional attitudes (Q1134754) (← links)
- KM and the finite model property (Q1165833) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Semantical essays. Possible worlds and their rivals (Q1188780) (← links)
- Structured meanings and reflexive domains (Q1207340) (← links)
- Hyperintensional logic (Q1217694) (← links)
- Adverbs and events (Q1217695) (← links)
- A classically-based theory of impossible worlds (Q1276427) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Some compactness results for modal logic (Q1823924) (← links)
- Note on the use of sequences in 'Logics and languages' (Q1844217) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- New semantics for the extensional but hyper-intensional part \({\mathcal L}_\alpha\) of the modal sense language \({\mathcal S}{\mathcal L}_\alpha^\nu\) (Q2277438) (← links)
- Semantic analysis of the modal syllogistic (Q2366246) (← links)
- From worlds to probabilities: A probabilistic semantics for modal logic (Q2366248) (← links)
- From modal discourse to possible worlds (Q2500773) (← links)
- Completeness without the Barcan formula (Q2533182) (← links)
- Alternative completeness theorems for modal systems (Q2535004) (← links)
- Some proofs of relative completeness in modal logic (Q2535005) (← links)
- A Henkin completeness theorem for T (Q2535381) (← links)
- The completeness of S1 and some related systems (Q2542502) (← links)
- Intensional logics and logical truth (Q2553429) (← links)
- Modality and Mellor's McTaggart (Q2641285) (← links)
- (Q2735834) (← links)
- (Q2735848) (← links)
- (Q2966515) (← links)
- (Q2974968) (← links)
- (Q3026978) (← links)
- (Q3026979) (← links)
- (Q3033742) (← links)
- (Q3039307) (← links)
- (Q3183986) (← links)
- (Q3315479) (← links)