- Richard C. Jeffrey. Formal logic: Its scope and limits. McGraw-Hill Book Company, New York etc. 1967, xii + 238 pp. - Richard C. Jeffrey. Instructor's manual to accompany Formal logic: Its scope and limits. McGraw-Hill Book Company, New York etc. 1967, iii + 58 pp. [REVIEW] Sibajiban - 1973 - Journal of Symbolic Logic 38 (4):646-647.details
|
|
Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.details
|
|
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.details
|
|
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.details
|
|
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.details
|
|
Doing and refraining from refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.details
|
|
Decidability ofstit theory with a single agent andrefref equivalence.Ming Xu - 1994 - Studia Logica 53 (2):259 - 298.details
|
|
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.details
|
|
Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.details
|
|
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.details
|
|
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.details
|
|
Grundfragen der Erkenntnistheorie.Franz von Kutschera (ed.) - 1982 - New York: De Gruyter.details
|
|
Epistemic logic and epistemology: The state of their affairs.Johan van Benthem - 2006 - Philosophical Studies 128 (1):49 - 76.details
|
|
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
Modality and reference.Richmond H. Thomason & Robert C. Stalnaker - 1968 - Noûs 2 (4):359-372.details
|
|
On Logics of Knowledge and Belief.Robert Stalnaker - 2006 - Philosophical Studies 128 (1):169-199.details
|
|
Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.details
|
|
Trees and nest structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.details
|
|
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.details
|
|
Temporal alethic–deontic logic and semantic tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.details
|
|
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details
|
|
Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.details
|
|
The logic of historical necessity as founded on two-dimensional modal tense logic.Lennart Åqvist - 1999 - Journal of Philosophical Logic 28 (4):329-369.details
|
|
Combinations of tense and deontic modality: On the R t approach to temporal logic with historical necessity and conditional obligation.Lennart Åqvist - 2005 - Journal of Applied Logic 3 (3-4):421-460.details
|
|
Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.details
|
|
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2018 - Journal of Philosophical Logic 47 (2):259-279.details
|
|
Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.details
|
|
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.details
|
|
Motivated irrationality.Alfred R. Mele - 2004 - In Alfred R. Mele & Piers Rawling (eds.), The Oxford Handbook of Rationality. Oxford University Press.details
|
|
Grundgesetze Des sollens.E. Mally - 1927 - Mind 36 (141):124.details
|
|
A Gabbay-Rule Free Axiomatization of T x W Validity.Maria Concetta Di Maio & Alberto Zanardo - 1998 - Journal of Philosophical Logic 27 (5):435 - 487.details
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.details
|
|
T Ã W Completeness.Franz Kutschervona - 1997 - Journal of Philosophical Logic 26 (3):241-250.details
|
|
T × W Completeness.Franz von Kutschera - 1997 - Journal of Philosophical Logic 26 (3):241-250.details
|
|
T × W Completeness.Franz von Kutschera - 1997 - Journal of Philosophical Logic 26 (3):241-250.details
|
|
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.details
|
|
Synchronizing Diachronic Uncertainty.Alistair Isaac & Tomohiro Hoshi - 2011 - Journal of Logic, Language and Information 20 (2):137-159.details
|
|
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.details
|
|
The deliberative stit: A study of action, omission, ability, and obligation. [REVIEW]John F. Horty & Nuel Belnap - 1995 - Journal of Philosophical Logic 24 (6):583 - 644.details
|
|
Agency and obligation.John F. Horty - 1996 - Synthese 108 (2):269 - 307.details
|
|
Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.Wiebe van Der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
Modality and Quantification.Jaakko Hintikka - 1961 - Theoria 27 (3):119-128.details
|
|
Active agents.Vincent F. Hendricks - 2003 - Journal of Logic, Language and Information 12 (4):469-495.details
|
|
Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.details
|
|
Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.details
|
|
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.details
|
|
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces.Paolo Galeazzi & Emiliano Lorini - 2016 - Synthese 193 (7):2097-2127.details
|
|
Investigations in Modal and Tense Logics with Application to Problems in Philosophy and Linguistics.Dov M. Gabbay - 1979 - Journal of Symbolic Logic 44 (4):656-657.details
|
|
Book Reviews. [REVIEW]Melvin Fitting & Richard Mendelsohn - 1998 - Studia Logica 68 (2):287-300.details
|
|
Tense and reality.Kit Fine - 2005 - In Modality and Tense. Oxford University Press. pp. 261--320.details
|
|