The following pages link to Carlos Caleiro (Q549721):
Displaying 41 items.
- (Q368482) (redirect page) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Deriving liveness goals from temporal logic specifications (Q679327) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- From fibring to cryptofibring. A solution to the collapsing problem (Q874748) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Denotational semantics of object specification (Q1127818) (← links)
- Synchronization of logics (Q1372360) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Disjoint fibring of non-deterministic matrices (Q1685929) (← links)
- Merging fragments of classical logic (Q1687564) (← links)
- Generalized probabilistic satisfiability (Q1744442) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Specifying communication in distributed information systems (Q1977077) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- Analytic calculi for monadic PNmatrices (Q2303582) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities (Q2424888) (← links)
- (Q2782494) (← links)
- (Q2848036) (← links)
- (Q2848475) (← links)
- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics (Q2915037) (← links)
- An Equation-Based Classical Logic (Q2947458) (← links)
- (Q3007251) (← links)
- Towards a Behavioral Algebraic Theory of Logical Valuations (Q3100162) (← links)
- Hierarchical logical consequence (Q3119162) (← links)
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188) (← links)
- Plug and Play Negations (Q3305346) (← links)
- Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis (Q3378195) (← links)
- Decidability and complexity of fibred logics without shared connectives (Q4644566) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- (Q5389067) (← links)
- Computational properties of finite PNmatrices (Q5872874) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Modular many-valued semantics for combined logics (Q6390144) (← links)
- Modular many-valued semantics for combined logics (Q6507727) (← links)
