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

constraintmultidimensional systemformal systemssituation semanticsrelational theory of meaningstrong consequence relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) 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

(1)

• The situations we talk about

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)