scientific article; zbMATH DE number 1765667

zbMath0988.03032MaRDI QIDQ4539603

Serenella Cerrito, Marta Cialdea Mayer

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830137

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 (1)

A modal interpretation of the logic of interrogation

Uses Software

• OTTER

This page was built for publication: