Found 33 Documents (Results 1–33)
Exploring non-regular extensions of propositional dynamic logic with description-logics features. (English) Zbl 07872354
The syntactic side of autonomous categories enriched over generalised metric spaces. (English) Zbl 07789003
Direct spectra of Bishop spaces and their limits. (English) Zbl 1473.03038
Reviewer: Daniel Romano (Banja Luka)
Modalities in homotopy type theory. (English) Zbl 1489.03005
Reviewer: Hirokazu Nishimura (Tsukuba)
Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1423.68107
On sub-propositional fragments of modal logic. (English) Zbl 1453.03016
MSC:
03B45
A proof of Stavi’s theorem. (English) Zbl 1459.03020
MSC:
03B44
Filter Results by …
all
top 5
Author
- Brattka, Vasco (2)
- Cohen, Liron (2)
- Docherty, Simon (2)
- Gratzer, Daniel (2)
- Kavvos, G. A. (2)
- Kawai, Tatsuji (2)
- Pauly, Arno M. (2)
- Pym, David J. (2)
- Wißmann, Thorsten (2)
- Angiuli, Carlo (1)
- Avron, Arnon (1)
- Bednarczyk, Bartosz (1)
- Bezhanishvili, Nick (1)
- Birkedal, Lars (1)
- Bresolin, Davide (1)
- Broadbent, Anne (1)
- Chiari, Michele (1)
- Dahlqvist, Fredrik (1)
- Das, Anupam (1)
- Davie, George (1)
- De Groot, Jim (1)
- Demri, Stéphane P. (1)
- Dorsch, Ulrich (1)
- Downey, Rodney Graham (1)
- Erickson, Jeff (1)
- Fouché, Willem Louw (1)
- Hermes, Marc (1)
- Ho, Hsi-Ming (1)
- Karvonen, Martti (1)
- Kihara, Takayuki (1)
- Kirst, Dominik (1)
- Lozes, Etienne (1)
- Mandrioli, Dino (1)
- Mansutti, Alessio (1)
- McIver, Annabelle K. (1)
- Melnikov, Alexander G. (1)
- Milius, Stefan (1)
- Morgan, Carroll C. (1)
- Muñoz-Velasco, Emilio (1)
- Neves, Renato (1)
- Ng, KengMeng (1)
- Nivasch, Gabriel (1)
- Nuyts, Andreas (1)
- Ouaknine, Joel O. (1)
- Petrakis, Iosif (1)
- Pradella, Matteo (1)
- Rabehaja, Tahiry M. (1)
- Rabinovich, Alexander (1)
- Rahli, Vincent (1)
- Ramanayake, Revantha (1)
- Rijke, Egbert (1)
- Sambin, Giovanni (1)
- Schröder, Lutz (1)
- Sciavicco, Guido (1)
- Shulman, Michael A. (1)
- Spitters, Bas (1)
- Sterling, Jonathan (1)
- Venema, Yde (1)
- Vickers, Steven (1)
- Worrell, James Benjamin (1)
- Xu, Junyan (1)
all
top 5
Volume
- 20, No. 2 (2024) (2)
- 20, No. 1 (2024) (1)
- 19, No. 4 (2023) (2)
- 18, No. 4 (2022) (1)
- 18, No. 3 (2022) (4)
- 18, No. 1 (2022) (1)
- 17, No. 3 (2021) (3)
- 17, No. 2 (2021) (2)
- 16, No. 3 (2020) (1)
- 16, No. 1 (2020) (3)
- 15, No. 2 (2019) (1)
- 15, No. 1 (2019) (3)
- 14, No. 4 (2018) (4)
- 14, No. 3 (2018) (1)
- 14, No. 2 (2018) (2)
- 14, No. 1 (2018) (1)
- 12, No. 4 (2016) (1)