An Ontology-Based First-Order Modal Logic

DOI10.1007/11908029_54MaRDI QIDQ3535491zbMATH OpenOpenAlexFDO

Authors Feng Jiang, Yuefei Sui, Cungen Cao

Publication date 13 November 2008

Published in Rough Sets and Current Trends in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11908029_54

zbMATH Keywords

rigidityontologyfirst-order modal logiccounterpart

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1389650
• Modal logic for philosophers
• First-order modal logic
• On modal logics which enrich first-order S5
• First-order intensional logic

Cited in

(3)

• First-order intensional logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• On First-Order Model-Based Reasoning

This page was built for publication: An Ontology-Based First-Order Modal Logic

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