A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication

MaRDI QIDQ3536089zbMATH OpenFDO

Authors Kurt Ranalter

Publication date 17 November 2008

zbMATH Keywords

categorical logicproof theoryprovability semanticsspeech act theorytype theory

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Towards a Logic for Pragmatics. Assertions and Conjectures
• A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
• scientific article; zbMATH DE number 1870417
• On an intuitionistic logic for pragmatics
• scientific article; zbMATH DE number 7599927

Cited in

(11)

• On assertion and denial in the logic for pragmatics
• The geometry and algebra of commitment
• scientific article; zbMATH DE number 140371 (Why is no real title available?)
• scientific article; zbMATH DE number 1180146 (Why is no real title available?)
• A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
• Towards a Logic for Pragmatics. Assertions and Conjectures
• Asserting Boo! and Horray! Pragmatic logic for assertion and moral attitudes
• Channel theoretic reflections on dynamic logics of speech acts
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
• The Knowability Paradox in the Light of a Logic for Pragmatics
• Principles for object-linguistic consequence: from logical to irreflexive

This page was built for publication: A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3536089)