Classical term-modal logics

Stef Frijters*, Frederik Van De Putte

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)


We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.
Original languageEnglish
Pages (from-to)1026-1054
Number of pages29
JournalJournal of Logic and Computation
Issue number4
Publication statusPublished - Jun 2021
Externally publishedYes


Dive into the research topics of 'Classical term-modal logics'. Together they form a unique fingerprint.

Cite this