Classical term-modal logics

DOI10.1093/LOGCOM/EXAA053MaRDI QIDQ3383489zbMATH OpenOpenAlexFDO

Authors Stef Frijters, Frederik Van De Putte

Publication date 24 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exaa053

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1612553
• Term-modal logics
• The monodic fragment of propositional term modal logic
• Term-sequence-modal logics
• Term-modal logic and quantifier-free dynamic assignment logic

Cited in

(6)

• Term-sequence-modal logics
• scientific article; zbMATH DE number 1859178 (Why is no real title available?)
• scientific article; zbMATH DE number 859800 (Why is no real title available?)
• scientific article; zbMATH DE number 7307099 (Why is no real title available?)
• Reasoning with rules and rights: term-modal deontic logic
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style system for term-modal logic K with equality and non-rigid terms

This page was built for publication: Classical term-modal logics

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