On the expressive limits of reified theories

DOI10.1093/LOGCOM/10.2.297MaRDI QIDQ4487261zbMATH OpenOpenAlexFDO

Authors B. O. Akinkunmi

Publication date 4 September 2000

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

Full work available at URL https://semanticscholar.org/paper/6f7a7c8b5ebb08206ca434639b18bea1fd99a198

zbMATH Keywords

ontologyknowledge representationevent tokensevent types

Mathematics Subject Classification ID

Knowledge representation (68T30) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 67867
• scientific article; zbMATH DE number 67509
• Reified temporal logics: An overview
• Resolution theorem proving in reified modal logics
• The token reification approach to temporal reasoning

Cited in

(4)

• scientific article; zbMATH DE number 67867 (Why is no real title available?)
• scientific article; zbMATH DE number 7644091 (Why is no real title available?)
• Temporal properties of repetitive entities
• The token reification approach to temporal reasoning

This page was built for publication: On the expressive limits of reified theories

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