Neighbourhood Contingency Bisimulation
From MaRDI portal
Publication:5224490
DOI10.1007/978-3-662-54069-5_5zbMATH Open1485.03063OpenAlexW2558767234MaRDI QIDQ5224490FDOQ5224490
Authors: Zeinab Bakhtiari, Helle Hvid Hansen, Hans van Ditmarsch 
Publication date: 24 July 2019
Published in: Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/25476
Recommendations
- Bisimulation for Neighbourhood Structures
- Constrained simulations, nested simulation semantics and counting bisimulations
- Bisimulation for conditional modalities
- Bisimulations of probabilistic Boolean networks
- Probabilistic bisimulation
- Next-preserving branching bisimulation
- Concurrent bisimulations in Petri nets
- scientific article; zbMATH DE number 4166873
- Bisimulations of Boolean Control Networks
- Neighborhood contingency logic
Cites Work
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Title not available (Why is that?)
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Universal grammar
- A logic for ignorance
- Completeness and definability in the logic of noncontingency
- The logic of non-contingency
- Minimal non-contingency logic
- Philosophical problems in logic. Some recent developments
- A note on logics of ignorance and borders
- Title not available (Why is that?)
- Neighborhood contingency logic
- Almost necessary
- Contingency and knowing whether
Cited In (7)
This page was built for publication: Neighbourhood Contingency Bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224490)
