|
1
|
Preservation of interpolation by fibring
– Walter A. Carnielli, Cristina Sernadas, Alberto Zanardo
|
|
17
|
Modulated Fibring and the Collapsing Problem
– Cristina Sernadas, João Rasga, Walter A. Carnielli
- 2001
|
|
3
|
Completeness Results for Fibred Parchments Beyond the Propositional Base
– C. Caleiro, P. Gouveia, J. Ramos
- 2003
|
|
10
|
Fibring Logics with Topos Semantics
– M. E. Coniglio, C. Sernadas, C. Sernadas
- 2002
|
|
|
A Fibred Tableau Calculus for Modal Logics of Agents ⋆
– Vineet Padmanabhan, Guido Governatori
|
|
6
|
Preservation of interpolation features by fibring
– Walter Carnielli, João Rasga Cristina Sernadas
|
|
7
|
Non-Truth-Functional Fibred Semantics
– C. Caleiro, J. Marcos
- 2001
|
|
1
|
On constructing fibred tableau calculus for BDI logics
– Vineet Padmanabhan, Guido Governatori
- 2006
|
|
4
|
Plain fibring and direct union of logics with matrix semantics
– Marcelo E. Coniglio, Víctor L. Fernández
- 2005
|
|
|
Modulated Fibring and the Collapsing Problem
– Cristina Sernadas Jo, Walter A. Carnielli
- 2002
|
|
12
|
Fibring Modal First-Order Logics: Completeness Preservation
– Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
- 2002
|
|
|
The essence of proofs when fibring sequent calculi
– Luís Cruz-filipe, Cristina Sernadas
|
|
2
|
Recovering a logic from its fragments by meta-fibring. Logica Universalis
– Marcelo E. Coniglio
|
|
|
Cryptofibring ∗
– C. Caleiro, J. Ramos
|
|
3
|
Categorial Combination of Logics: Completeness Preservation
– M. E. Coniglio
- 2001
|
|
11
|
Combining Valuations with Society Semantics
– V.L. Fernández, M. E. Coniglio, For N N
- 2003
|
|
5
|
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
– P. Mateus, A. Sernadas, C. Sernadas, L. Vigano
- 2003
|
|
1
|
Truth-Values as Labels: A General Recipe for Labelled Deduction
– Cristina Sernadas, Luca Viganó, João Rasga, Amílcar Sernadas
|
|
45
|
Fibring of logics as a categorial construction
– Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
- 1999
|
