Material to categorize
- Diagonal Arguments and Fixed Points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.details
- Axiomatization of Crisp Gödel Modal Logic.Ricardo Oscar Rodriguez & Amanda Vidal - 2020 - Studia Logica 109 (2):367-395.details
- Analyticity and Modulation. Broadening the Rescale Perspective on Language Logicality.Salvatore Pistoia-Reda & Uli Sauerland - 2021 - International Review of Pragmatics 1 (13):1-13.details
- Counterfactual Logic and the Necessity of Mathematics.Samuel Z. Elgin - 2021 - Journal of Philosophical Logic 50 (1):97-115.details
- Opposition Relations Between Prophecies.José David García Cruz & Yessica Espinoza Ramos - 2020 - In Chapman P. Pietarinen Av (ed.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science. pp. 394-401.details
- Logical Characterisation of Concept Transformations From Human Into Machine Relying on Predicate Logic.Farshad Badie - 2016 - In ACHI 2016 : The Ninth International Conference on Advances in Computer-Human Interactions. pp. 376-379.details
- Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.details
- Proof Systems for Various Fde-Based Modal Logics.Sergey Drobyshevich & Heinrich Wansing - 2020 - Review of Symbolic Logic 13 (4):720-747.details
- Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales.Ariel Jonathan Roffé - 2014 - Cuadernos de Filosofía 62:65-75.details
- Logic of Faith and Dead. The Idea and Outline of the Theoretical Conception.Wybraniec-Skardowska Urszula - 2019 - Philosophia Christine 55 (2):125-149.details
- Structure and Logic of Conceptual Mind.Venkata Rayudu Posina - manuscriptdetails
- Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.details
- No New Solutions to the Logical Problem of the Trinity.Beau Branson - 2019 - Journal of Applied Logics 6 (6):1051-1092.details
- A Family of Strict/Tolerant Logics.Melvin Fitting - forthcoming - Journal of Philosophical Logic:1-32.details
- The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - forthcoming - Studia Logica:1-42.details
- Measuring Inconsistency in Some Logics with Modal Operators.John Grant - forthcoming - Studia Logica:1-25.details
- The Logic of Information in State Spaces.Levin Hornischer - forthcoming - Review of Symbolic Logic:1-33.details
- A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - forthcoming - Review of Symbolic Logic:1-12.details
- Function Logic and the Theory of Computability.Jaakko Hintikka - 2013 - APA Newsletter on Philosophy and Computers 13 (1):10-19.details
- Three Characterizations of Strict Coherence on Infinite-Valued Events.Tommaso Flaminio - 2020 - Review of Symbolic Logic 13 (3):593-610.details
- Restricted Interpolation and Lack Thereof in Stit Logic.Grigory K. Olkhovikov - 2020 - Review of Symbolic Logic 13 (3):459-482.details
- Beyond Subgoaling: A Dynamic Knowledge Generation Framework for Creative Problem Solving in Cognitive Architectures.Antonio Lieto - 2019 - Cognitive Systems Research 58:305-316.details
- Logical Laws for Short Existential Monadic Second-Order Sentences About Graphs.M. E. Zhukovskii - 2019 - Journal of Mathematical Logic 20 (2):2050007.details
- Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria Correa Vaz De Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel M. Leivant & Anjolina G. De Oliveira - 2015 - Springer.details
- Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.details
- Satisfiability is False Intuitionistically: A Question from Dana Scott.Charles McCarty - 2020 - Studia Logica 108 (4):803-813.details
- L -effect Algebras.Wolfgang Rump & Xia Zhang - 2020 - Studia Logica 108 (4):725-750.details
- A Note on Strong Axiomatization of Gödel Justification Logic.Nicholas Pischke - 2020 - Studia Logica 108 (4):687-724.details
- A Classical Logic of Existence and Essence.Sergio Galvan & Alessandro Giordani - forthcoming - Logic and Logical Philosophy:1.details
- Leibnizian Identity and Paraconsistent Logic.Ali Abasnezhad - 2020 - History and Philosophy of Logic 41 (3):236-243.details
- More Observations.Paul Merriam - manuscriptdetails
- Angels in the Areopagetic Tradition.Christos Terezis & Lydia Petridou - 2019 - Augustinianum 59 (2):505-522.details
- A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.details
- Modelling Last-Act Attempted Crime in Criminal Law.Jiraporn Pooksook, Phan Minh Dung, Ken Satoh & Giovanni Sartor - 2019 - Journal of Applied Non-Classical Logics 29 (4):327-357.details
- Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.details
- The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property.Jie Fang - 2019 - Studia Logica 107 (6):1261-1277.details
- Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
- Lyndon Interpolation Theorem of Instantial Neighborhood Logic – Constructively Via a Sequent Calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.details
- A Family of Neighborhood Contingency Logics.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (4):683-699.details
- Noncontractive Classical Logic.Lucas Rosenblatt - 2019 - Notre Dame Journal of Formal Logic 60 (4):559-585.details
- Oppositional Geometry in the Diagrammatic Calculus CL.Jens Lemanski - 2017 - South American Journal of Logic 3 (2):517-531.details
- Modal Logic with Non-Deterministic Semantics: Part I—Propositional Case.Marcelo E. Coniglio & Luis Fariñas del Cerro - forthcoming - Logic Journal of the IGPL.details
- The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles.Joel David Hamkins & Øystein Linnebo - forthcoming - Review of Symbolic Logic:1-36.details
- An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.James P. Delgrande & Hector J. Levesque - 2019 - Studia Logica 107 (5):859-886.details
- Categories with Families and First-Order Logic with Dependent Sorts.Erik Palmgren - 2019 - Annals of Pure and Applied Logic 170 (12):102715.details
- A Strict Implication Calculus for Compact Hausdorff Spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.details
- Non Decomposable Connectives of Linear Logic.Roberto Maieli - 2019 - Annals of Pure and Applied Logic 170 (11):102709.details
- Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo - 2016 - In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139--152.details
- Representing Concepts by Weighted Formulas.Daniele Porello & Claudio Masolo - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018. IOS Press. pp. 55--68.details
- The Development of Gödel’s Ontological Proof.Annika Kanckos & Tim Lethen - forthcoming - Review of Symbolic Logic:1-19.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|