Verificaton, falsification, and cancellation in KT

DOI10.1305/ndjfl/1093635422zbMath0708.03009OpenAlexW2038917502MaRDI QIDQ920076

Timothy Williamson

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635422

zbMATH Keywords

verifiabilityfalsifiabilitydouble cancellation propertymodal logic Tsingle cancellation propertytruth conditions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (5)

Towards a Formal Account of Identity Criteria ⋮ Two kinds of consequential implication ⋮ Strong Boethius' thesis and consequential implication ⋮ Peacocke's principle-based account of modality: ``Flexibility of origins plus S4 ⋮ Margin for error and the transparency of knowledge

This page was built for publication: Verificaton, falsification, and cancellation in KT