Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
TWO-DIMENSIONAL SEMANTICS FOR PREDICATE-FUNCTOR LANGUAGES WITH OPERATION SYMBOLS
Date
2022-01-01
Author
Grünberg, Teo
Grünberg, David
Akçelik, Oğuz
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
3
views
0
downloads
Cite This
We construct a framework of two-dimensional (2D) semantics for predicate-functor languages with operation symbols and free variables. We show how the satisfaction conditions (at a world) of predicates are determined by their meaning specifications (at the same world or at a different one).
Subject Keywords
'at (world) w'
,
'means that'
,
Possible world
,
Predicate functor
,
Satisfaction
,
Truth
,
Two-dimensional semantics
URI
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85168586760&origin=inward
https://hdl.handle.net/11511/106527
Journal
Logique et Analyse
DOI
https://doi.org/10.2143/lea.259.0.3291806
Collections
Graduate School of Social Sciences, Article
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
T. Grünberg, D. Grünberg, and O. Akçelik, “TWO-DIMENSIONAL SEMANTICS FOR PREDICATE-FUNCTOR LANGUAGES WITH OPERATION SYMBOLS,”
Logique et Analyse
, vol. 259-260, pp. 267–286, 2022, Accessed: 00, 2023. [Online]. Available: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85168586760&origin=inward.
