The following pages link to Carlos Caleiro (Q549721):
Displaying 50 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)
- (Q3520840) (← links)
- (Q3520845) (← links)
- Combining Classical and Intuitionistic Implications (Q3525005) (← links)
- On the Algebraization of Many-Sorted Logics (Q3591067) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- Labelled Tableaux for Distributed Temporal Logic (Q3656773) (← links)
- Fibring of logics as a categorial construction (Q4242584) (← links)
- (Q4373557) (← links)
- (Q4400803) (← links)
- (Q4471713) (← links)
- (Q4583680) (← links)
- Decidability and complexity of fibred logics without shared connectives (Q4644566) (← links)
- (Q4941925) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
