Conservative Translations Revisited von Ramos, J., Rasga, J., Sernadas, C.

Volltext

Probabilistic logic of quantum observations von Sernadas, A, Rasga, J, Sernadas, C, Alcácer, L, Henriques, A B

Volltext

On meet-combination of logics von Sernadas, A., Sernadas, C., Rasga, J.

Volltext

Preservation of Craig interpolation by the product of matrix logics von Sernadas, C., Rasga, J., Sernadas, A.

Volltext

Preservation by fibring of the finite model property von Coniglio, M. E., Sernadas, A., Sernadas, C.

Volltext

Time-stamped claim logic von Rasga, J, Sernadas, C, Karafili, E, Viganò, L

Volltext

Decision and optimization problems in the unreliable-circuit logic von Rasga, J., Sernadas, C., Mateus, P., Sernadas, A.

Volltext

Fibring as Biporting Subsumes Asymmetric Combinations von Rasga, J., Sernadas, A., Sernadas, C.

Volltext

Approximate reasoning about logic circuits with single-fan-out unreliable gates von Sernadas, A., Rasga, J., Sernadas, C., Mateus, P.

Volltext

Importing Logics: Soundness and Completeness Preservation von Rasga, J., Sernadas, A., Sernadas, C.

Volltext

Fibring Logics with Topos Semantics von Coniglio, Marcelo E., Sernadas, Amilcar C., Sernadas, Cristina S.

Volltext

Categorical foundations for randomly timed automata von Mateus, P., Morais, M., Nunes, C., Pacheco, A., Sernadas, A., Sernadas, C.

Volltext

Abstract object types: A temporal perspective von Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.

Volltext

Importing Logics von Rasga, João, Sernadas, Amílcar, Sernadas, Cristina

Volltext

A Graph-theoretic Account of Logics von Sernadas, Amilcar, Sernadas, Cristina, Rasga, Joao, Coniglio, Marcelo

Volltext

On Combined Connectives von Sernadas, A., Sernadas, C., Rasga, J.

Volltext

Object interaction von Costa, J. F., Sernadas, A., Sernadas, C., Ehrich, H. -D.

Volltext

On Graph-theoretic Fibring of Logics von Sernadas, Amilcar, Sernadas, Cristina, Rasga, Joao, Coniglio, Marcelo

Volltext

A two-level temporal logic for evolving specifications von Schobbens, P.Y., Saake, G., Sernadas, A., Sernadas, C.

Volltext

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification von Cruz-Filipe, Luís, Rasga, João, Sernadas, Amílcar, Sernadas, Cristina

Volltext