{"id":"https://openalex.org/W204184784","doi":null,"title":"Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics","display_name":"Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W204184784","mag":"204184784"},"language":"en","primary_location":{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/28169","doi":null,"is_oa":true,"landing_page_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","pdf_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052644896","display_name":"Kurt Ranalter","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kurt Ranalter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5052644896"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.008100000210106373,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.0015999999595806003,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/speech-act-theory","display_name":"speech act theory","score":0.8149999976158142},{"id":"https://openalex.org/keywords/illocutionary-force","display_name":"illocutionary force","score":0.9739999771118164},{"id":"https://openalex.org/keywords/assertion","display_name":"assertion","score":0.7409999966621399},{"id":"https://openalex.org/keywords/obligation","display_name":"obligation","score":0.9679999947547913},{"id":"https://openalex.org/keywords/conditional-obligations","display_name":"conditional obligations","score":0.7429999709129333},{"id":"https://openalex.org/keywords/categorical-semantics","display_name":"categorical semantics","score":0.9649999737739563},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.9589999914169312}],"concepts":[{"id":"https://openalex.org/C11693617","wikidata":"https://www.wikidata.org/wiki/Q181839","display_name":"Pragmatics","level":2,"score":0.848988950252533},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.646854817867279},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6364023089408875},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.5616872310638428},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5261480212211609},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4566878080368042},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.42391863465309143},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3525935411453247},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.33226829767227173},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.28026360273361206},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26838716864585876},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/28169","doi":null,"is_oa":true,"landing_page_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","pdf_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:hdl:10068/964215","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/964215","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:204184784","doi":null,"is_oa":false,"landing_page_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/28169","doi":null,"is_oa":true,"landing_page_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","pdf_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169","source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W204184784.pdf","grobid_xml":"https://content.openalex.org/works/W204184784.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W53839316","https://openalex.org/W114538605","https://openalex.org/W147093031","https://openalex.org/W159715351","https://openalex.org/W159920301","https://openalex.org/W572025439","https://openalex.org/W1484639702","https://openalex.org/W1485409386","https://openalex.org/W1485574327","https://openalex.org/W1520893111","https://openalex.org/W1542108059","https://openalex.org/W1564798145","https://openalex.org/W1567040361","https://openalex.org/W1567995736","https://openalex.org/W1576632330","https://openalex.org/W1586807607","https://openalex.org/W1720076426","https://openalex.org/W1795577507","https://openalex.org/W1948777370","https://openalex.org/W2006319938","https://openalex.org/W2013474929","https://openalex.org/W2022510049","https://openalex.org/W2031858211","https://openalex.org/W2039977878","https://openalex.org/W2044541206","https://openalex.org/W2049362364","https://openalex.org/W2065261632","https://openalex.org/W2072666085","https://openalex.org/W2077879002","https://openalex.org/W2086000852","https://openalex.org/W2092185282","https://openalex.org/W2115815709","https://openalex.org/W2120713972","https://openalex.org/W2139981749","https://openalex.org/W2410550723","https://openalex.org/W2599197792","https://openalex.org/W2911865844","https://openalex.org/W3133236490","https://openalex.org/W4242309855"],"related_works":["https://openalex.org/W2139981749","https://openalex.org/W2263760673","https://openalex.org/W7097313264","https://openalex.org/W7097360582","https://openalex.org/W4414697008","https://openalex.org/W2522950879","https://openalex.org/W7052964176","https://openalex.org/W2599197792","https://openalex.org/W2900598539","https://openalex.org/W1980087815"],"abstract_inverted_index":{"The":[0],"aim":[1],"of":[2,32,51,59,65,70,84,91,125,130,132,136,155,158,194],"the":[3,21,57,67,81,88,152,156,159,176,183],"logic":[4,148],"for":[5,62,146,149,218],"pragmatics":[6,150],"considered":[7,186],"in":[8,48,54,56,110,178,187],"this":[9,137,188],"work":[10,189],"is":[11,139,162],"to":[12,103,122,167,199,202],"provide":[13],"a":[14,26,44,111,140,147,179,207,215],"logical":[15,184],"framework":[16,177,185],"that":[17,78,119,163,204,211],"formalises":[18],"reasoning":[19],"about":[20],"pragmatic":[22,33,82,89],"forces":[23],"with":[24,169],"which":[25],"sentence":[27],"may":[28,100],"be":[29,101,200],"uttered.The":[30],"concept":[31],"or":[34,87],"illocutionary":[35],"force":[36,83,90],"comes":[37],"from":[38],"speech":[39,71,76,98,195],"act":[40],"theory":[41,69],"and":[42,94,116,142],"plays":[43],"crucial":[45],"role":[46],"also":[47],"certain":[49],"branches":[50],"artificial":[52],"intelligence,":[53],"particular":[55],"development":[58],"communication":[60],"protocols":[61],"software":[63],"agents.Instead":[64],"considering":[66],"full-blown":[68],"acts,":[72,196],"we":[73,107,197,205],"focus":[74],"on":[75,95],"acts":[77,99,124,131],"either":[79],"have":[80,206],"an":[85,92],"assertion":[86],"obligation,":[93],"how":[96],"these":[97],"related":[102],"each":[104],"other.In":[105],"particular,":[106],"are":[108],"interested":[109],"principle":[112],"proposed":[113,160],"by":[114],"Bellin":[115],"Dalla":[117],"Pozza":[118],"allows":[120,165],"one":[121,166],"promote":[123],"obligations":[126,171],"through":[127],"causal":[128],"chains":[129],"assertions.The":[133],"main":[134],"achievement":[135],"thesis":[138],"sound":[141],"complete":[143],"categorical":[144],"semantics":[145,161],"incorporating":[151],"aforementioned":[153],"principle.One":[154],"benefits":[157],"it":[164],"deal":[168],"conditional":[170],"as":[172,214],"well,":[173],"thus":[174],"extending":[175],"very":[180],"interesting":[181],"way.Although":[182],"incorporates":[190],"only":[191],"two":[192],"types":[193],"hope":[198],"able":[201],"show":[203],"well-behaved":[208],"core":[209],"fragment":[210],"can":[212],"serve":[213],"fruitful":[216],"basis":[217],"further":[219],"investigations.":[220]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}