Found 9 Documents (Results 1–9)
Justification announcements in discrete time. II: Frame definability results. (English) Zbl 1494.03040
Remarks about the unification type of several non-symmetric non-transitive modal logics. (English) Zbl 1494.03046
MSC:
03B45
The computational content of atomic polymorphism. (English) Zbl 1494.03032
MSC:
03B40
Filter Results by …
all
top 5
Author
- Abiri, Maryam (1)
- Balbiani, Philippe (1)
- Caicedo, Xavier (1)
- Dihoum, Eman (1)
- Dzik, Wojciech (1)
- Ferreira, Gilda (1)
- Hartonas, Chrysafis (1)
- Lee, Edmond W. H. (1)
- Martinez, Maricarmen (1)
- Moniri, Morteza (1)
- Moss, Lawrence S. (1)
- Olkhovikov, Grigory K. (1)
- Rathjen, Michael (1)
- Vasconcelos, Vasco Thudichum (1)
- Wojtylak, Piotr (1)
- Zaare, Mostafa (1)