Temporal Logics of Knowledge and their Applications in Security
From MaRDI portal
Publication:2866724
DOI10.1016/j.entcs.2006.11.043zbMath1277.94051OpenAlexW2025542990WikidataQ98283799 ScholiaQ98283799MaRDI QIDQ2866724
No author found.
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.043
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Authentication, digital signatures and secret sharing (94A62)
Related Items
Finite sequent calculi for PLTL ⋮ Completeness of a functional system for surjective functions ⋮ Functional systems in the context of temporal×modal logics with indexed flows ⋮ Taming the Complexity of Temporal Epistemic Reasoning
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- First-order temporal verification in practice
- Knowledge, belief and time
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Many-dimensional modal logics: theory and applications
- Decidable fragments of first-order temporal logics
- Axiomatizing the monodic fragment of first-order temporal logic
- Mechanising first-order temporal resolution
- The NRL Protocol Analyzer: An Overview
- Using encryption for authentication in large networks of computers
- A logic of authentication
- Decision procedures for BDI logics
- Resolution for temporal logics of knowledge
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
- Complete Axiomatizations for Reasoning about Knowledge and Time
- A semantics for a logic of authentication (extended abstract)
- Monodic temporal resolution
- Automated Reasoning
- Clausal temporal resolution
- Automated Deduction – CADE-19
