scientific article

zbMath0566.03007MaRDI QIDQ3680806

Luis Fariñas del Cerro

Publication date: 1984

Full work available at URL: https://eudml.org/doc/92204

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

zbMATH Keywords

completenessresolution principlemodal operatorsunsatisfiabilitysemantic trees\(S5^*\) formulasexistence of a refutation

Mathematics Subject Classification ID

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

Related Items (3)

Finite non-deterministic semantics for some modal systems ⋮ Unnamed Item ⋮ A simple tableau system for the logic of elsewhere

Cites Work

• On 'de dicto' modalities in quantified S5
• A Machine-Oriented Logic Based on the Resolution Principle
• A Functional calculus of first order based on strict implication
• Modalities and Quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: