Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
Sign Up to like & getrecommendations! Published in 2020 at "Algebra and Logic"
DOI: 10.1007/s10469-020-09581-0
Abstract: We study an extension of temporal logic, a multi-agent logic on models with nontransitive linear time (which is, in a sense, also an extension of interval logic). The proposed relational models admit lacunas in admissibility… read more here.
Keywords: nontransitive linear; admissibility problem; multi agent; admissibility ... See more keywords