A multidimensional modal translation for a formal system motivated by situation semantics

DOI10.1305/NDJFL/1093635931zbMath0748.03014OpenAlexW1969936316MaRDI QIDQ1182697

Juan Barba Escriba

Publication date: 28 June 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/1093635931

zbMATH Keywords

sequent calculussituation semanticsmultidimensional quantified modal logicPossible worlds semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: A multidimensional modal translation for a formal system motivated by situation semantics