Logics for some dynamic spaces-I

DOI10.1093/logcom/exu055zbMath1334.03015OpenAlexW2140653223MaRDI QIDQ5262486

Mohua Banerjee, Md. Aquil Khan

Publication date: 15 July 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/426c722fbe632a9dd2838dedf9999b1c8be1bbf6

zbMATH Keywords

temporal logicrough set theorynormal modal logiccombination of modal logicstableau-based proof procedure

Mathematics Subject Classification ID

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

Related Items (3)

Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A formal study of a generalized rough set model based on subset approximation structure ⋮ Logics for Temporal Information Systems in Rough Set Theory

This page was built for publication: Logics for some dynamic spaces-I