Sage Journals: Discover world-class research

Retricted access

Research article

First published

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Free access

Research article

First published 2006-2

Sequent Calculi for Temporal Logics of Common Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2004-3

Analytic Calculi for Monoidal T-norm Based Logic

Matthias Baaz, Agata Ciabattoni, Franco Montagna

Fundamenta Informaticae

Retricted access

Research article

First published 2017

JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Fundamenta Informaticae

Retricted access

Research article

First published 2021-01-11

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

Tiziano Dalmonte, Sara Negri, Nicola Olivetti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2012-1

Finite-valued Logics for Information Processing

Arnon Avron, Beata Konikowska

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability

Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma

Fundamenta Informaticae

Open access

Research article

First published 2015-1-2

Sequent-based logical argumentation

Ofer Arieli, Christian Straßer

Argument & Computation

Retricted access

Research article

First published 1999-3

Multi Lingual Sequent Calculus and Coherent Spaces

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Fundamenta Informaticae

Search results