248 results on '"Nicola Olivetti"'
Search Results
2. Local Intuitionistic Modal Logics and Their Calculi.
3. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus.
4. Towards a Proof Theory of G\'odel Modal Logics
5. Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.
6. Analytic Proof Theory for Åqvist's System F.
7. Resolution Calculi for Non-normal Modal Logics.
8. Dyadic obligations: proofs and countermodels via hypersequents.
9. Dyadic Obligations: Proofs and Countermodels via Hypersequents.
10. Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.
11. Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together.
12. Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
13. Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
14. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus.
15. Proof Systems for the Logics of Bringing-It-About.
16. Terminating Calculi and Countermodels for Constructive Modal Logics.
17. Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.
18. HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).
19. Theorem Proving for Lewis Logics of Counterfactual Reasoning.
20. Theorem Proving for Non-normal Modal Logics.
21. Reasoning About Typicality and Probabilities in Preferential Description Logics.
22. Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.
23. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
24. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
25. Nested Sequents for the Logic of Conditional Belief.
26. PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.
27. Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM.
28. Intuitionistic Non-normal Modal Logics: A General Framework.
29. Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.
30. Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi.
31. Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.
32. VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
33. Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆.
34. Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.
35. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
36. Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity.
37. The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.
38. Standard Sequent Calculi for Lewis' Logics of Counterfactuals.
39. A natural sequent calculus for Lewis' logic of counterfactuals.
40. A Multi-engine Theorem Prover for a Description Logic of Typicality.
41. A Standard Internal Calculus for Lewis' Counterfactual Logics.
42. A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.
43. Intuitionistic Non-Normal Modal Logics: A general framework.
44. Nested sequent calculi for normal conditional logics.
45. NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics.
46. Minimal models for rational closure in SHIQ.
47. Rational Closure in SHIQ.
48. Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics.
49. A Semantics for Rational Closure: Preliminary Results.
50. PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.