PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS von RASGA, JOÃO, SERNADAS, CRISTINA, SERNADAS, AMÍLCAR

Volltext

On probability and logic von Sernadas, Amílcar, Rasga, João, Sernadas, Cristina

Volltext

Fibring Labelled Deduction Systems von Rasga, João, Sernadas, Amílcar, Sernadas, Cristina, Viganò, Luca

Volltext

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity von Mateus, Paulo, Sernadas, Amílcar, Sernadas, Cristina, Viganò, Luca

Volltext

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

Volltext

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

Volltext

Exponentially more concise quantum recognition of non-RMM regular languages von Qiu, Daowen, Li, Lvzhou, Mateus, Paulo, Sernadas, Amilcar

Volltext

Fibring of logics as a categorial construction von Sernadas, A, Sernadas, C, Caleiro, C

Volltext

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems von Cruz-Filipe, Luíis, Sernadas, Amíicar, Sernadas, Cristina

Volltext

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

Volltext

Probabilistic Situation Calculus von Mateus, Paulo, Pacheco, António, Pinto, Javier, Sernadas, Amílcar, Sernadas, Cristina

Volltext

Epistemic nature of quantum reasoning von Henriques, Alfredo B, Sernadas, Amílcar

Volltext bestellen

Local specification of distributed families of sequential objects von Ehrich, Hans-Dieter, Sernadas, Amilcar

Volltext

Parameterisation of Logics von Caleiro, Carlos, Sernadas, Cristina, Sernadas, Amílcar

Volltext

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

Volltext

Labelled Deduction over Algebras of Truth-Values von Rasga, João, Sernadas, Amílcar, Sernadas, Cristina, Viganò, Luca

Volltext

Synchronization of logics with mixed rules: Completeness preservation von Sernadas, Amílcar, Sernadas, Cristina, Caleiro, Carlos

Volltext

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

Volltext

A temporal logic approach to object certification von Sernadas, Amílcar, Sernadas, Cristina, Ramos, Jaime

Volltext

The Situation and State Calculus versus Branching Temporal Logic von Ramos, Jaime, Sernadas, Amílcar

Volltext