Pages that link to "Item:Q4644524"

The following pages link to Relation-changing modal operators: Fig. 1. (Q4644524):

Displaying 27 items.

• Mechanizing bisimulation theorems for relation-changing logics in Coq (Q777873) (← links)
• \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
• Undecidability of relation-changing modal logics (Q1742616) (← links)
• Introspection as an action in relational models (Q2011198) (← links)
• Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
• Introducing fuzzy reactive graphs: a simple application on biology (Q2099983) (← links)
• Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
• A modal logic for supervised learning (Q2155207) (← links)
• A logic of goal-directed knowing how (Q2218708) (← links)
• The modal logic of copy and remove (Q2401633) (← links)
• Satisfiability for relation-changing logics (Q4612446) (← links)
• Global and Local Graph Modifiers (Q4982127) (← links)
• (Q5015266) (← links)
• THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
• Further Steps Towards a Logic of Polarization in Social Networks (Q5098763) (← links)
• Swap logic (Q5176675) (← links)
• Copy and remove as dynamic operators (Q5861999) (← links)
• On Composing Finite Forests with Modal Logics (Q5886519) (← links)
• To be announced (Q6040661) (← links)
• A simple logic of the hide and seek game (Q6057624) (← links)
• Relation-changing models meet paraconsistency (Q6156935) (← links)
• Data graphs with incomplete information (and a way to complete them) (Q6545578) (← links)
• Axiomatization of hybrid logic of link variations (Q6546612) (← links)
• First steps in updating knowing how (Q6550518) (← links)
• Action models for coalition logic (Q6550523) (← links)
• The modal logics of the poison game (Q6601761) (← links)
• Graph games and logic design (Q6601767) (← links)