Found 8 Documents (Results 1–8)
Logics with common weak completions. (English) Zbl 1116.03022
J. Log. Comput. 16, No. 6, 867-890 (2006); corrigendum ibid. 17, No. 3, 607 (2007).
Expressive power and complexity of a logic with quantifiers that count proportions of sets. (English) Zbl 1118.03020
Filter Results by …
all
top 5
Author
- Arratia, Argimiro A. (1)
- Arrazola Ramírez, José Ramón Enrique (1)
- Bolander, Thomas (1)
- Borja Macías, Verónica (1)
- Braüner, Torben (1)
- Davis, Ernest (1)
- Gaĭnă, Daniel (1)
- Lutz, Carsten (1)
- MacCaull, Wendy (1)
- Orłowska, Ewa S. (1)
- Ortiz, Carlos Enrique Pico (1)
- Osorio Galindo, Mauricio (1)
- Pérez, Juan Antonio Navarro (1)
- Popescu, Andrei (1)
- Turner, Raymond (1)
- Walther, Dirk (1)
- Wolter, Frank (1)
- Wooldridge, Michael J. (1)
Software
- CafeOBJ (1)