Two-dimensional semantics for predicate-functor languages with operation symbols

DOI10.2143/LEA.259.0.3291806MaRDI QIDQ6130422zbMATH OpenFDO

Authors Teo Grünberg, David Grünberg, Oğuz Akçelik

Publication date 3 April 2024

Full work available at URL https://doi.org/10.2143/LEA.259.0.3291806

zbMATH Keywords

`at (world) \textit{w}'`means that'possible worldpredicate functorsatisfactiontruthtwo-dimensional semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Two-dimensional semantics and the articulation problem
• Semantic presuppositions in logical syntax
• scientific article; zbMATH DE number 2236676
• Semantic facts on Kripke frames
• scientific article; zbMATH DE number 4023238

This page was built for publication: Two-dimensional semantics for predicate-functor languages with operation symbols

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