The following pages link to Modalities and Quantification (Q5842291):
Displayed 25 items.
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- Possible worlds in use (Q647416) (← links)
- Some modifications of Carnap's modal logic (Q694488) (← links)
- Revising Carnap's semantic conception of modality (Q694493) (← links)
- On a method of constructing modal logics (Q768201) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Carnap's theory of descriptions and its problems (Q969430) (← links)
- Carnapian extensions of S5 (Q1066883) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- Logical atomism, nominalism, and modal logic (Q1221736) (← links)
- Algèbres de Boole monadiques libres (Q1247323) (← links)
- A constructive approach to state description semantics (Q1414570) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Quine on intensional entities: modality and quantification, truth and satisfaction (Q1948273) (← links)
- Opacity and the double life of singular propositions (Q1948274) (← links)
- Propositional calculus for contradictory deductive systems (Q2554685) (← links)
- Validity and necessity (Q2572383) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- (Q3680806) (← links)
- (Q4742767) (← links)
- Which modal logic is the right one? (Q5937846) (← links)