Cikkek nyilvánosan hozzáférhető megbízással - Patrick BlackburnTovábbi információ
Sehol sem hozzáférhető: 1
Hybrid partial type theory
M Manzano, A Huertas, P Blackburn, M Martins, V Aranda
The Journal of Symbolic Logic, 1-43, 2021
Megbízások: Fundação para a Ciência e a Tecnologia, Portugal, Government of Spain
Valahol hozzáférhető: 9
Completeness in hybrid type theory
C Areces, P Blackburn, A Huertas, M Manzano
Journal of Philosophical Logic 43 (2), 209-238, 2014
Megbízások: Government of Spain
Context and implicature
L Benotti, P Blackburn
Context in Computing: A Cross-Disciplinary Approach for Modeling the Real …, 2014
Megbízások: Government of Argentina
Second-order false beliefs and linguistic recursion in autism spectrum disorder
I Polyanskaya, IM Eigsti, T Brauner, P Blackburn
Journal of Autism and Developmental Disorders, 1-16, 2022
Megbízások: US National Institutes of Health
Modeling the clarification potential of instructions: Predicting clarification requests and other reactions
L Benotti, P Blackburn
Computer Speech & Language 45, 536-551, 2017
Megbízások: Government of Argentina
Rigid first-order hybrid logic
P Blackburn, M Martins, M Manzano, A Huertas
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
Megbízások: Danish Council for Independent Research, Fundação para a Ciência e a …
Exorcising the phantom zone
P Blackburn, M Martins, M Manzano, A Huertas
Information and Computation 287, 104754, 2022
Megbízások: Danish Council for Independent Research, Fundação para a Ciência e a …
Henkin and hybrid logic
P Blackburn, A Huertas, M Manzano, KF Jørgensen
The Life and Work of Leon Henkin: Essays on His Contributions, 279-306, 2014
Megbízások: Government of Spain
Logic and philosophy of time: Themes from Prior
PFV Hasle, PR Blackburn, P Øhrstrøm
Aalborg Universitetsforlag, 2017
Megbízások: Danish Council for Independent Research
The Past, Present and Future of the Prior Internet Resources
F Sabir, PR Blackburn, JL Kofod
The History and Philosophy of Tense-logic, 2023
Megbízások: Danish Council for Independent Research
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.