Toward a Unified Semantics for Ū in Ū + Situation in Taiwan Southern Min: A Modal-Aspectual Account.

Jiun-Shiung Wu Zhi-Ren Zheng

Published in: CLSW (2018)

Keyphrases

temporal logic
modal logic
modal operators
nonmonotonic logics
kripke models
model checking
dynamic logic
belief revision
logic programming
formal semantics
default logic
data mining
pairwise
logic programs
default theories
argumentation semantics