Assertion and grounding: a theory of assertion for constructive type theory
Work
Year: 2010
Type: article
Abstract: Taking Per Martin-Löf's constructive type theory as a starting-point a theory of assertion is developed, which is able to account for the epistemic aspects of the speech act of assertion, and in which... more
Source: Synthese
Author Maria van der Schaar
Institution Leiden University
Cites: 34
Cited by: 5
Related to: 10
FWCI:
Citation percentile (by year/subfield): 91.83
Subfield: Philosophy
Field: Arts and Humanities
Domain: Social Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $2,990