Labelled proofs for quantified modal logic

DOI10.1007/3-540-61630-6_5zbMath1427.03035OpenAlexW1570834302WikidataQ58177166 ScholiaQ58177166MaRDI QIDQ5235254

Alberto Artosi, Guido Governatori, Paola Benassi, Antonino Rotolo

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.4020

zbMATH Keywords

natural deductionKripke modelmodus ponensconstant domainquantifier rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory matrices (for modal logics) using alphabetical monotonicity
• Proof methods for modal and intuitionistic logics
• First-order modal tableaux
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Semantics-Based Translation Methods for Modal Logics
• Modal Theorem Proving: An Equational Viewpoint
• The Taming of the Cut. Classical Refutations with Analytic Cut

This page was built for publication: Labelled proofs for quantified modal logic