Hennessy-Milner and van Benthem for instantial neighbourhood logic. (English) Zbl 07535456
MSC:
03-XX
Found 9 Documents (Results 1–9)
Bisimulation for weakly expressive coalgebraic modal logics. (English) Zbl 1433.68231
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 4, 16 p. (2017).
Epistemic probability logic simplified. (English) Zbl 1385.03037
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 158-177 (2014).
Modal logic and the approximation induction principle. (English) Zbl 1260.68266
Reviewer: Ernst-Erich Doberkat (Dortmund)
Boolean logics with relations. (English) Zbl 1206.03019
Reviewer: Bernhard Heinemann (Hagen)
Neighbourhood structures: bisimilarity and basic model theory. (English) Zbl 1172.03011
Reviewer: Osamu Sonobe (Follonica)
Coalgebraic logic for stochastic right coalgebras. (English) Zbl 1179.03023
Reviewer: Lutz Schröder (Bremen)
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (2)
all
top 5
Author
- Doberkat, Ernst-Erich (3)
- Bakhtiari, Zeinab (1)
- Balbiani, Philippe (1)
- De Groot, Jim (1)
- Fokkink, Willem Jan (1)
- Gazda, Maciej W. (1)
- Hansen, Helle Hvid (1)
- Hvid, Hansen Helle (1)
- Kupke, Clemens (1)
- Pacuit, Eric (1)
- Schubert, Christoph (1)
- Schwarzentruber, François (1)
- Tinchev, Tinko (1)
- van Eijck, Jan (1)
