A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication

Authors:
Kurt Ranalter
Affiliations:
(Correspd.) Department of Computer Science Queen Mary, University of London Mile End Road, E1 4NS London, England. E-mail: kurt@dcs.qmul.ac.uk
Venue:
Fundamenta Informaticae
Year:
2008

Citing 7
Cited 0

Proofs and types

Proofs and types
Basic proof theory

Basic proof theory
Standardizing agent communication

Mutli-agents systems and applications
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)

CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
The logic of linear functors

Mathematical Structures in Computer Science
Possible worlds and resources: the semantics of BI

Theoretical Computer Science - Mathematical foundations of programming semantics
Davidson and Reiter on Actions

Fundamenta Informaticae - Logic for Pragmatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the aims of a logic for pragmatics is to provide a logical framework that formalizes reasoning about speech acts. In this paper we investigate the semantics of a fragment of the logic for pragmatics proposed by Bellin and Dalla Pozza in "A pragmatic interpretation of substructural logics" (Feferman Festschrift, ASL Lecture Notes in Logic 15, 2002). The logic deals with acts of assertion and acts of obligation, and it incorporates a rule that relates acts of obligation to acts of assertion via a notion of causal implication. As our main result we show that the logic is sound and complete with respect to a class of algebraic, Kripke, and categorical models.