Pages that link to "Item:Q3636801"
From MaRDI portal
The following pages link to Neighbourhood Structures: Bisimilarity and Basic Model Theory (Q3636801):
Displayed 32 items.
- Evidence and plausibility in neighborhood structures (Q392275) (← links)
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Monotonic distributive semilattices (Q2279678) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Neighborhood Contingency Logic (Q2937393) (← links)
- Logical Dynamics of Evidence (Q3093993) (← links)
- A Road to Ultrafilter Extensions (Q3305690) (← links)
- (Q3384064) (← links)
- Reasoning about Strategies (Q4922091) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC (Q5078812) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- (Q5875347) (← links)
- To be announced (Q6040661) (← links)
- Kantorovich functors and characteristic logics for behavioural distances (Q6091180) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)