Two formal systems for situation semantics

DOI10.1305/NDJFL/1093636010MaRDI QIDQ1187536zbMATH OpenOpenAlexFDO

Authors Juan Barba Escriba

Publication date 22 July 1992

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093636010

zbMATH Keywords

constraintformal systemsmultidimensional systemrelational theory of meaningsituation semanticsstrong consequence relation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 4211999
• Some situation theoretical notions
• scientific article; zbMATH DE number 1488055
• Publication:3028983
• A multidimensional modal translation for a formal system motivated by situation semantics

Cited in

(3)

• A multidimensional modal translation for a formal system motivated by situation semantics
• The situations we talk about
• scientific article; zbMATH DE number 4211999 (Why is no real title available?)

This page was built for publication: Two formal systems for situation semantics

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