Found: 12
Select item for more details and to access through your institution.
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 4, p. 764, doi. 10.1093/logcom/exac088
- By:
- Publication type:
- Article
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
- Published in:
- Journal of Logic & Computation, 2022, v. 32, n. 2, p. 233, doi. 10.1093/logcom/exab084
- By:
- Publication type:
- Article
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 3, p. 947, doi. 10.1093/logcom/exab019
- By:
- Publication type:
- Article
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 1, p. 67, doi. 10.1093/logcom/exaa072
- By:
- Publication type:
- Article
Intuitionistic Non-normal Modal Logics: A General Framework.
- Published in:
- Journal of Philosophical Logic, 2020, v. 49, n. 5, p. 833, doi. 10.1007/s10992-019-09539-3
- By:
- Publication type:
- Article
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS.
- Published in:
- Review of Symbolic Logic, 2018, v. 11, n. 4, p. 736, doi. 10.1017/S1755020318000023
- By:
- Publication type:
- Article
Nested sequent calculi for normal conditional logics.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 7, doi. 10.1093/logcom/ext034
- By:
- Publication type:
- Article
Preface.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 1, doi. 10.1093/logcom/exn057
- By:
- Publication type:
- Article
Łukasiewicz Logic: From Proof Systems To Logic Programming.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 561, doi. 10.1093/jigpal/jzi042
- By:
- Publication type:
- Article
Analytic Calculi for Product Logics.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 7, p. 859, doi. 10.1007/s00153-004-0225-3
- By:
- Publication type:
- Article
Tableaux for Łukasiewicz Infinite-valued Logic.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 81, doi. 10.1023/a:1022989323091
- By:
- Publication type:
- Article
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 237, doi. 10.1023/A:1005077431494
- By:
- Publication type:
- Article