The following pages link to Nicola Olivetti (Q232654):
Displaying 50 items.
- (Q360111) (redirect page) (← links)
- A non-monotonic description logic for reasoning about typicality (Q360113) (← links)
- Tableaux and sequent calculus for minimal entailment (Q688552) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication (Q1580655) (← links)
- Iterated belief revision and conditional logic (Q1602962) (← links)
- Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity (Q1694457) (← links)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning (Q1694459) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Tableaux for Łukasiewicz infinite-valued logic (Q1868241) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← links)
- Nested sequents for the logic of conditional belief (Q2296755) (← links)
- Weak AGM postulates and strong Ramsey test: A logical formalization (Q2457649) (← links)
- Proof theory for fuzzy logics (Q2519539) (← links)
- (Q2753603) (← links)
- Nested sequent calculi for normal conditional logics (Q2804318) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← links)
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning (Q2946576) (← links)
- Tableau calculus for preference-based conditional logics (Q2946579) (← links)
- Towards a Proof Theory of G\"odel Modal Logics (Q3003328) (← links)
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces (Q3010357) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- (Q3012533) (← links)
- (Q3021911) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (Q3192215) (← links)
- Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics (Q3382812) (← links)
- ALC + T: a Preferential Extension of Description Logics (Q3400571) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Preferential Description Logics (Q3498470) (← links)
- Reasoning about Typicality in Preferential Description Logics (Q3532467) (← links)
- Analytic Tableau Calculi for KLM Rational Logic R (Q3533131) (← links)
- Tableau Calculi for $\mathcal{CSL}$ over minspaces (Q3586033) (← links)
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results (Q3643136) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus (Q3648718) (← links)
- Proof Systems for a Gödel Modal Logic (Q3648736) (← links)
- (Q4218925) (← links)
- Combining negation as failure and embedded implications in logic programs (Q4223469) (← links)
- (Q4246975) (← links)
- (Q4295825) (← links)
- (Q4412860) (← links)
- (Q4448378) (← links)
