Reasoning About Objects Using a Tableau Method

DOI10.1093/LOGCOM/1.5.575zbMath0738.03012OpenAlexW1990882235MaRDI QIDQ3983935

Renwei Li, Amílcar Sernadas

Publication date: 27 June 1992

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

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

zbMATH Keywords

verificationtemporal logicspecificationtableau methodconceptual modellingdependency relationsreasoning about objectstransitional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Other applications of logic (03B80)

This page was built for publication: Reasoning About Objects Using a Tableau Method