Checking again

Philosophical Issues 29 (1):84-96 (2019)
  Copy   BIBTEX

Abstract

At some point you really should stop.

Categories

Keywords

Reprint years

DOI

10.1111/phis.12141

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Knowing and Checking: An Epistemological Investigation.Guido Melchior - 2019 - New York City, New York, USA: Routledge.
Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.Bożena Woźna-Szcześniak & Andrzej Zbrzezny - 2016 - Studia Logica 104 (4):641-678.
Revisiting the Epistemology of Fact-Checking.Michelle A. Amazeen - 2015 - Critical Review: A Journal of Politics and Society 27 (1):1-22.
Extended full computation-tree logics for paraconsistent model checking.Norihiro Kamide - 2007 - Logic and Logical Philosophy 15 (3):251-276.
Extended Full Computation-tree Logics For Paraconsistent Model Checking.Norihiro Kamide - 2006 - Logic and Logical Philosophy 15:251-267.
Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.
Symbolic model checking of logics with actions.Charles Pecheur & Franco Raimondi - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 113--128.
Real-time model checking on secondary storage.Stefan Edelkamp & Shahid Jabbar - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 67--83.
Distributed extended beam search for quantitative model checking.Anton J. Wijs & Bert Lisser - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 166--184.
A framework for model checking institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
Interactive and probabilistic proof-checking.Luca Trevisan - 2000 - Annals of Pure and Applied Logic 104 (1-3):325-342.
Model checking for hybrid logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
Bounded model checking real-time multi-agent systems with clock differences: theory and implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112.

Analytics

Added to PP
2019-09-04

Downloads
295 (#66,283)

6 months
31 (#102,636)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jane Friedman
New York University

Citations of this work

Inquiry and the epistemic.David Thorstad - 2021 - Philosophical Studies 178 (9):2913-2928.
Inquiring Minds Want to Improve.Arianna Falbo - 2023 - Australasian Journal of Philosophy 101 (2).
Inquiry and Confirmation.Arianna Falbo - 2021 - Analysis 81 (4):622–631.
Why Double-Check?Elise Woodard - forthcoming - Episteme:1-24.

View all 33 citations / Add more citations

References found in this work

Why Suspend Judging?Jane Friedman - 2017 - Noûs 51 (2):302-326.
Inquiry and Belief.Jane Friedman - 2017 - Noûs 53 (2):296-315.
Epistemic permissiveness.Roger White - 2005 - Philosophical Perspectives 19 (1):445–459.
Evidence Can Be Permissive.Thomas Kelly - 2013 - In Matthias Steup & John Turri (eds.), Contemporary Debates in Epistemology. Chichester, West Sussex, UK: Blackwell. pp. 298.
Epistemic anxiety and adaptive invariantism.Jennifer Nagel - 2010 - Philosophical Perspectives 24 (1):407-435.

View all 15 references / Add more references