Swap logic
From MaRDI portal
Publication:5176675
DOI10.1093/jigpal/jzt030zbMath1342.03018OpenAlexW4251477736MaRDI QIDQ5176675
Guillaume Hoffmann, Raul Fervari, Carlos Areces
Publication date: 27 February 2015
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11086/20427
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ The modal logic of copy and remove ⋮ Relation-changing models meet paraconsistency ⋮ Unnamed Item ⋮ Introspection as an action in relational models ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Introducing fuzzy reactive graphs: a simple application on biology ⋮ Copy and remove as dynamic operators
This page was built for publication: Swap logic
