- Modelling Afthairetic Modality.Giorgio Venturi & Pedro Yago - 2024 - Journal of Philosophical Logic 53 (4):1027–1065.details
|
|
Zur Bedingung der Möglichkeit von Erfahrung. Eine modallogische Analyse.Glüsing Leon - 2024 - History of Philosophy & Logical Analysis:1-17.details
|
|
Quantified Modal Logics: One Approach to Rule (Almost) them All!Eugenio Orlandelli - 2024 - Journal of Philosophical Logic 53 (4):959-996.details
|
|
On the Proof Theory of Infinitary Modal Logic.Matteo Tesi - 2022 - Studia Logica 110 (6):1349-1380.details
|
|
DOLCE: A descriptive ontology for linguistic and cognitive engineering1.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo & Laure Vieu - 2022 - Applied ontology 17 (1):45-69.details
|
|
UFO: Unified Foundational Ontology.Giancarlo Guizzardi, Alessander Bottes Benevides, Claudemir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales & Daniele Porello - 2022 - Applied ontology 1 (17):167-210.details
|
|
Possibility, relevant similarity, and structural knowledge.Tom Schoonen - 2022 - Synthese 200 (1):1-22.details
|
|
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.details
|
|
Single-domain free logic and the problem of compositionality.Dolf Rami - 2020 - Synthese 198 (10):9479-9523.details
|
|
Ground and modality.Alessandro Torza - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):563-585.details
|
|
Naming and epistemic necessity.Dilip Ninan - 2019 - Noûs 55 (2):334-362.details
|
|
Mereology and time travel.Carlo Proietti & Jeroen Smid - 2020 - Philosophical Studies 177 (8):2245-2260.details
|
|
Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.details
|
|
The Actual Future is Open.Giuseppe Spolaore & Francesco Gallina - 2020 - Erkenntnis 85 (1):99-119.details
|
|
(1 other version)The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.details
|
|
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
The Quasi-lattice of Indiscernible Elements.Mauri Cunha do Nascimento, Décio Krause & Hércules Araújo Feitosa - 2011 - Studia Logica 97 (1):101-126.details
|
|
(1 other version)Modal logic for philosophers – by James W. Garson.Roderic A. Girle - 2008 - Theoria 74 (1):86-90.details
|
|
Formal reconstructions of St. Anselm’s ontological argument.Esther Ramharter & Günther Eder - 2015 - Synthese 192 (9):2795-2825.details
|
|
Variabilism.Samuel Cumming - 2008 - Philosophical Review 117 (4):525-554.details
|
|
The Possibility of Unicorns and Modal Logic.Lee Walters - 2014 - Analytic Philosophy 55 (2):295-305.details
|
|
Reference, Truth, and Biological Kinds.Marcel Weber - 2014 - In: J. Dutant, D. Fassio and A. Meylan (Eds.) Liber Amicorum Pascal Engel.details
|
|
The Selection Problem.Francesco Berto - 2012 - Revue Internationale de Philosophie 262 (4):519-537.details
|
|
Kripke's Critique of Descriptivism Revisited.Pierre Baumann - 2010 - Princípios 17 (27):167-201.details
|
|
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.details
|
|
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.details
|
|
Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.details
|
|
Predicate abstraction, the limits of quantification, and the modality of existence.Philip Percival - 2011 - Philosophical Studies 156 (3):389-416.details
|
|
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
(1 other version)First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.details
|
|
Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.details
|
|
A Patch to the Possibility Part of Gödel’s Ontological Proof.Johan E. Gustafsson - 2020 - Analysis 80 (2):229-240.details
|
|
Modal Noneism: Transworld Identity, Identification, and Individuation.Francesco Berto - 2014 - Australasian Journal of Logic 11 (2).details
|
|
Referential/attributive: a scope interpretation.Richard L. Mendelsohn - 2010 - Philosophical Studies 147 (2):167-191.details
|
|
The Problem of Cross-world Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.details
|
|
Are There Ultimately Founded Propositions?Gregor Damschen - 2010 - Universitas Philosophica 27 (54):163-177.details
|
|
C. I. Lewis on Possible Worlds.Igor Sedlar - 2009 - History and Philosophy of Logic 30 (3):283-291.details
|
|
How did Avicenna understand the Barcan formulas?Wilfrid Hodges - 2023 - Logic Journal of the IGPL 31 (6):1170-1191.details
|
|
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details
|
|
Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.details
|
|
A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.details
|
|
Action Type Deontic Logic.Martin Mose Bentzen - 2014 - Journal of Logic, Language and Information 23 (4):397-414.details
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 337--341.details
|
|
The logic languages of the TPTP world.Geoff Sutcliffe - 2023 - Logic Journal of the IGPL 31 (6):1153-1169.details
|
|
Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.details
|
|
Can All Things Be Counted?Chris Scambler - 2021 - Journal of Philosophical Logic 50 (5):1079-1106.details
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
Speaking of Essence.Alessandro Torza - 2015 - Philosophical Quarterly:754-771.details
|
|