Clausal resolution in a logic of rational agency

, &
Artificial Intelligence 139 (1):47-89 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00196-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

A clausal resolution method for extended computation tree logic ECTL.Alexander Bolotov & Artie Basukoski - 2006 - Journal of Applied Logic 4 (2):141-167.
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Is The Concept Of Rational Agency Coherent?Bryony Pierce - 2006 - Philosophical Writings 33 (3).
Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
Rational Agency and the Struggle to Believe What Your Reasons Dictate.Brie Gertler - 2021 - In Cristina Borgoni, Dirk Kindermann & Andrea Onofri (eds.), The Fragmented Mind. Oxford: Oxford University Press.
Wittgenstein and the logic of deep disagreement.David Godden & William H. Brenner - 2010 - Cogency: Journal of Reasoning and Argumentation 2:41-80.
Equal Respect for Rational Agency.Michael Cholbi - 2020 - In Mark Timmons (ed.), Oxford Studies in Normative Ethics Volume 10. Oxford University Press, Usa. pp. 182-203.
A term-graph clausal logic: completeness and incompleteness results ★.Ricardo Caferra, Rachid Echahed & Nicolas Peltier - 2008 - Journal of Applied Non-Classical Logics 18 (4):373-411.
Paternalism and our Rational Powers.Michael Cholbi - 2017 - Mind 126 (501):123-153.
Plato’s Psychology of Action and the Origin of Agency.Florin George Calian - 2012 - In Peter Šajda (ed.), Affectivity, Agency and Intersubjectivity. L'Harmattan. pp. 9-22.
Nudging for Rationality and Self-Governance.Grant J. Rozeboom - 2020 - Ethics 131 (1):107-121.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Rational agency.Peter G. Campbell - unknown

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,465,900)

6 months
5 (#648,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.

Add more references