Revisions for LITAFA

Entries: 549,521 New this week: 586

General search Category finder


advanced search \| help

Revision history for entry Litak, Tadeusz; Wolter, Frank (2005). "All finitely axiomatizable tense logics of linear time flows are CoNP-complete" [LITAFA]

NB: for privacy reasons, few details are provided in public revision histories.

Time	Type	Notes
2009-12-08T20:55:37	update

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Hosted by The Institute of Philosophy, School of Advanced Study, University of London

This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Sat May 25 02:43:11 2013 - Hash code: k5mjikQVhBfAfdEuebu1uQ

Online research in philosophy

Revision history for entry Litak, Tadeusz; Wolter, Frank (2005). "All finitely axiomatizable tense logics of linear time flows are CoNP-complete" [LITAFA]