Pages that link to "Item:Q1420806"

The following pages link to Complete axiomatizations for reasoning about knowledge and branching time (Q1420806):

Displaying 22 items.

• Finite identification from the viewpoint of epistemic update (Q553305) (← links)
• Completeness of a branching-time logic with possible choices (Q622622) (← links)
• Bounded model checking for knowledge and real time (Q1028970) (← links)
• Knowledge forgetting: properties and applications (Q1045992) (← links)
• The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
• Announcement as effort on topological spaces (Q2053358) (← links)
• A history based logic for dynamic preference updates (Q2209166) (← links)
• Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
• Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability (Q2376368) (← links)
• Knowledge and communication: A first-order theory (Q2457657) (← links)
• A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
• Some comments on history based structures (Q2475431) (← links)
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
• Logics of Rational Interaction (Q2902939) (← links)
• Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
• (Q3594284) (← links)
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language (Q5013615) (← links)
• (Q5015397) (← links)
• Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
• Logic and Learning (Q5249673) (← links)
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)
• Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) (Q6587464) (← links)