Pages that link to "Item:Q1150592"
From MaRDI portal
The following pages link to Application of modal logic to programming (Q1150592):
Displaying 15 items.
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Kripke semantics for knowledge representation logics (Q2277447) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- On qualitative route descriptions. Representation, agent models, and computational complexity (Q2341261) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- On K-modal BL-logics (Q2953517) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Modal operators on pseudo-BE algebras (Q5858312) (← links)
