Resolution for temporal logics of knowledge

DOI10.1093/logcom/8.3.345zbMath0951.03007OpenAlexW2059647742MaRDI QIDQ4209289

No author found.

Publication date: 27 September 1998

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

Full work available at URL: https://semanticscholar.org/paper/0221e681488129ccebb3e641a8acb44264c2e52d

zbMATH Keywords

temporal logic of knowledgeresolution-based proof system

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (11)

Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability ⋮ First-order temporal verification in practice ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ A sequent calculus for logic of knowledge and past time: completeness and decidability ⋮ Mechanising first-order temporal resolution ⋮ Alternating automata and temporal logic normal forms ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ Removing irrelevant information in temporal resolution proofs ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Clausal resolution in a logic of rational agency

This page was built for publication: Resolution for temporal logics of knowledge