Modalities and Quantification

DOI10.2307/2268610zbMath0063.00713OpenAlexW2149747391MaRDI QIDQ5842291

Rudolf Carnap

Publication date: 1946

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268610

Related Items

MOLOG: A system that extends PROLOG with modal logic ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Logic reduced to bare (proof-theoretical) bones ⋮ Leon Henkin the Reviewer ⋮ Meredith, Prior, and the history of possible worlds semantics ⋮ Orthopartitions and possibility distributions ⋮ A Carnapian Logic of Conceivability ⋮ Quine on intensional entities: modality and quantification, truth and satisfaction ⋮ Opacity and the double life of singular propositions ⋮ Unnamed Item ⋮ A constructive approach to state description semantics ⋮ The deducibilities of S5 ⋮ Possible worlds in use ⋮ Mathematical modal logic: A view of its evolution ⋮ Quantified temporal alethic-deontic logic ⋮ Information dynamics and uniform substitution ⋮ Doxastic logic: a new approach ⋮ Unnamed Item ⋮ Some modifications of Carnap's modal logic ⋮ Revising Carnap's semantic conception of modality ⋮ Carnap's theory of descriptions and its problems ⋮ A survey of deduction theorems for the propositional calculi ⋮ Which modal logic is the right one? ⋮ Logical atomism, nominalism, and modal logic ⋮ Algèbres de Boole monadiques libres ⋮ The modality and non-extensionality of the quantifiers ⋮ On a method of constructing modal logics ⋮ Propositional calculus for contradictory deductive systems ⋮ Validity and necessity ⋮ Carnapian extensions of S5 ⋮ The genesis of possible worlds semantics