- Interpolation in loop-free logic.Kenneth A. Bowen - 1980 - Studia Logica 39 (2-3):297 - 310.details
|
|
A theory of presentism.Craig Bourne - 2006 - Canadian Journal of Philosophy 36 (1):1-23.details
|
|
A Theory of Presentism.Craig Bourne - 2006 - Canadian Journal of Philosophy 36 (1):1-23.details
|
|
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
Provability: The emergence of a mathematical modality.George Boolos & Giovanni Sambin - 1991 - Studia Logica 50 (1):1 - 23.details
|
|
Independent alternatives: Ross’s puzzle and free choice.Richard Jefferson Booth - 2022 - Philosophical Studies 179 (4):1241-1273.details
|
|
Images, intentionality and inexistence.Ben Blumson - 2009 - Philosophy and Phenomenological Research 79 (3):522-538.details
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.details
|
|
Back to the Golden Age: Saul Kripke's Naming and Necessity and twenty‐first century philosophy.Andrea Bianchi - 2021 - Theoria 88 (2):278-295.details
|
|
The Selection Problem.Francesco Berto - 2012 - Revue Internationale de Philosophie 262 (4):519-537.details
|
|
Modal Noneism: Transworld Identity, Identification, and Individuation.Francesco Berto - 2014 - Australasian Journal of Logic 11 (2).details
|
|
The quantified argument calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.details
|
|
The information in intuitionistic logic.Johan Benthem - 2008 - Synthese 167 (2):251-270.details
|
|
The Barcan formulas and necessary existence: the view from Quarc.Hanoch Ben-Yami - 2020 - Synthese 198 (11):11029-11064.details
|
|
Two Axes of Actualism.Karen Bennett - 2005 - Philosophical Review 114 (3):297-326.details
|
|
Two axes of actualism.Karen Bennett - 2005 - Philosophical Review 114 (3):297-326.details
|
|
Proxy “Actualism”.Karen Bennett - 2006 - Philosophical Studies 129 (2):263-294.details
|
|
Jaśkowski’s Universally Free Logic.Ermanno Bencivenga - 2014 - Studia Logica 102 (6):1095-1102.details
|
|
Robot location estimation in the situation calculus.Vaishak Belle & Hector J. Levesque - 2015 - Journal of Applied Logic 13 (4):397-413.details
|
|
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.details
|
|
A Logical Theory of Localization.Vaishak Belle & Hector J. Levesque - 2016 - Studia Logica 104 (4):741-772.details
|
|
Towards a Behavioral-Matching Based Compilation of Synthetic Biology Functions.Adrien Basso-Blandin & Franck Delaplace - 2015 - Acta Biotheoretica 63 (3):325-339.details
|
|
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.details
|
|
A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.details
|
|
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.details
|
|
The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2019 - Philosophy and Phenomenological Research 99 (1):81-114.details
|
|
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.details
|
|
Substance and first-order quantification over individual-concepts.John Bacon - 1980 - Journal of Symbolic Logic 45 (2):193-203.details
|
|
Representing Counterparts.Andrew Bacon - 2014 - Australasian Journal of Logic 11 (2):90-113.details
|
|
A model-theoretic criterion of ontology.John Bacon - 1987 - Synthese 71 (1):1 - 18.details
|
|
Contract automata: An operational view of contracts between interactive parties.Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik & Gerardo Schneider - 2016 - Artificial Intelligence and Law 24 (3):203-243.details
|
|
Explicit provability and constructive semantics. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-432.details
|
|
Plantinga on actualism and essences.David F. Austin - 1981 - Philosophical Studies 39 (1):35 - 42.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.details
|
|
Logical Pantheism.István Aranyosi - 2022 - Philosophy Compass 17 (7):e12857.details
|
|
Truth and reference in context.Bonomi Andrea - 2006 - Journal of Semantics 23 (2):107-134.details
|
|
Second-Order Necessitism.José Tomás Alvarado Marambio - 2017 - Eidos: Revista de Filosofía de la Universidad Del Norte 26:268-301.details
|
|
Pidiendo un Harry en su contexto.Miguel Alvarez Lisboa & Carlo Apablaza Ávila - 2022 - Análisis Filosófico 42 (1):145-169.details
|
|
Individual Concepts in Modal Predicate Logic.Maria Aloni - 2005 - Journal of Philosophical Logic 34 (1):1-64.details
|
|
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.details
|
|
La logique propositionnelle et ses variantes: une approche comparée.François Lepage - 2022 - [Montréal]: Presses de l'Université de Montréal. Edited by Samuel Montplaisir.details
|
|
Relativized metaphysical modality.Adam Murray & Jessica M. Wilson - 2008 - In Dean W. Zimmerman (ed.), Oxford Studies in Metaphysics. Oxford University Press. pp. 189-226.details
|
|
The Oxford Handbook of Philosophical Methodology.Herman Cappelen, Tamar Gendler & John Hawthorne (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press.details
|
|
Technische Fiktionen: Zur Ontologie und Ethik der Gestaltung.Michael Kuhn - 2023 - transcript Verlag.details
|
|
Engaging Kripke with Wittgenstein: The Standard Meter, Contingent Apriori, and Beyond.Martin Gustafsson, Oskari Kuusela & Jakub Mácha (eds.) - 2023 - New York: Routledge.details
|
|
Propositional Dependence and Perspectival Shift.Adam Russell Murray - 2022 - In Chris Tillman & Adam Murray (eds.), The Routledge Handbook of Propositions. Routledge.details
|
|
Against S5: Impossible Worlds in the Logic of What Might Have Been.Nathan Salmon - manuscriptdetails
|
|
Modal Conceptions of Essence.Alessandro Torza - 2024 - In Kathrin Koslicki & Michael J. Raven (eds.), The Routledge Handbook of Essence in Philosophy. Routledge.details
|
|