scientific article; zbMATH DE number 1950267

zbMath1016.68106MaRDI QIDQ4412865

Virginie Thion, Marta Cialdea Mayer, Serenella Cerrito

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810266.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (3)

A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ Solving modal logic problems by translation to higher-order logic ⋮ GQML

Uses Software

• ModLeanTAP

This page was built for publication: