VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: ABCEFGHKMNOPRSVZ
A
Arieli, Ofer
Combining non-determinism and context awareness in consistency restoration systems
Avron, Arnon
Semi-implication and matrices
Avron, Arnon
Effective first-order reasoning about incomplete and inconsistent information
B
Bedregal, Benjamín
On non-deterministic fuzzy negations
Semi-BCI-algebras
Béziau, Jean-Yves
Non truth-functional bivalent logics extending classical bivalent logics
C
Caleiro, Carlos
On the characterization of broadly truth-functional logics
Semi-BCI-algebras
Cintula, Petr
First-order non-classical logics: an order-based approach
E
Englander, Cecilia
Natural deduction for non-deterministic finite-valued logics
F
Falcão, Pedro
Modal functions as moody truth-functions
G
Galatos, Nick
From display logic to nested sequents via residuated frames
H
Haeusler, Edward Hermann
Yoneda’s embedding and Post-completeness
Hauesler, Hermann
Natural deduction for non-deterministic finite-valued logics
Hauesler, Hermann
An intuitionistic ALC description default logic
K
Konikowska, Beata
Effective first-order reasoning about incomplete and inconsistent information
Kuznets, Roman
Separating truth and proof in the Logic of Proofs
M
Macedo, Hugo
Yoneda’s embedding and Post-completeness
Marcelino, Sérgio
On the characterization of broadly truth-functional logics
Marcos, João
Broadly truth-functional logics through classical lenses
On the characterization of broadly truth-functional logics
On non-deterministic fuzzy negations
Semi-BCI-algebras
A survey on Suszko’s Thesis and its formal developments
Mikirtumov, Ivan
The procedural understanding of meaning and compositionality in formal semantics
Molick, Sanderson
A survey on Suszko’s Thesis and its formal developments
N
Nigam, Vivek
On subexponentials, focusing and modalities in concurrent systems
O
Olarte, Carlos
On subexponentials, focusing and modalities in concurrent systems
P
Pimentel, Elaine
On subexponentials, focusing and modalities in concurrent systems
R
Rademaker, Alexandre
An intuitionistic ALC description default logic
S
Santiago, Regivan
On non-deterministic fuzzy negations
Semi-BCI-algebras
Santos, Hélida
On non-deterministic fuzzy negations
Stefanidis, Kostas
Combining non-determinism and context awareness in consistency restoration systems
V
Viganò, Luca
An infinitary deduction system for CTL*
Quantum state transformations and distributed temporal logic
Volpe, Marco
An infinitary deduction system for CTL*
Quantum state transformations and distributed temporal logic
Z
Zamansky, Anna
Combining non-determinism and context awareness in consistency restoration systems
Zamansky, Anna
Effective first-order reasoning about incomplete and inconsistent information
Zorzi, Margherita
An infinitary deduction system for CTL*
Quantum state transformations and distributed temporal logic