On the logic of demonstratives
From MaRDI portal
Publication:599801
DOI10.1007/BF00258420zbMath0415.03004MaRDI QIDQ599801
Publication date: 1979
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
charactermeaningcontexttense operatorspossible worldindexicalsmodal operatorslogic of demonstrativesramification of Frege's distinction between sense and denotationvariety of intensional expressions
Related Items
Intensionality and context change. Towards a dynamic theory of propositions and properties, A complete minimal logic of the propositional contents of thought, Dynamic squares, Should pluralists be pluralists about pluralism?, Requiem for logical nihilism, or: logical nihilism annihilated, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, Sleeping Beauty, evidential support and indexical knowledge: reply to Horgan, Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents, Agnostic hyperintensional semantics, The logic of indexicals, Actualism, serious actualism, and quantified modal logic, Quantifiers and propositional attitudes: Quine revisited, Where do the natural numbers come from?, Constructing situations and time, Vagueness, truth and logic, Moore's paradox is not just another pragmatic paradox, Vagueness, tolerance and contextual logic, The logic of counterpart theory with actuality, Propositional quantification in bimodal S5, How and how not to make predictions with temporal Copernicanism, The fallacies of the new theory of reference, Embodied Context Semantics, Naming and identity in epistemic logic. II: A first-order logic for naming, Comparing formal theories of context in AI