Work

Modular Sequent Calculi for Interpretability Logics

Year: 2025

Type: article

Source: The Review of Symbolic Logic

DOI: 10.1017/s1755020325100701

Authors: COSIMO PERINI BROGI, SARA NEGRI, NICOLA OLIVETTI

Institutions: IMT School for Advanced Studies Lucca, University of Genoa, Aix-Marseille Université

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4413254645

FWCI: 0.427

Cites:

Cited by: 1

Related to: 10