First-order modal tableaux
From MaRDI portal
Publication:1104913
DOI10.1007/BF00244394zbMath0648.03004MaRDI QIDQ1104913
Publication date: 1988
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Uniform and non uniform strategies for tableaux calculi for modal logics, The undecidability of simultaneous rigid E-unification, A logic for reasoning with inconsistency, A tableau-like proof procedure for normal modal logics, Resolution theorem proving in reified modal logics, Accelerating tableaux proofs using compact representations, Cut-free sequent and tableau systems for propositional Diodorean modal logics, The liberalized \(\delta\)-rule in free variable semantic tableaux, Decidability and complexity of simultaneous rigid E-unification with one variable and related results, On the intuitionistic force of classical search, Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\)., Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems