Results 291 to 300 of about 156,774 (303)
Some of the next articles are maybe not open access.
On Independent Axiomatizability of Quasi-Normal Modal Logics
Studia Logica: An International Journal for Symbolic Logic, 2022Igor Gorbunov, D. Shkatov
semanticscholar +1 more source
Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic
Synthese, 2023Yifeng Ding, Jixin Liu, Yanjing Wang
semanticscholar +1 more source
Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels
International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2019Björn Lellmann
semanticscholar +1 more source
A Deduction Theorem for Normal Modal Propositional Logic [PDF]
, 2007 We develop a Hilbert style calculus for modal propositional logic which allows for the deduction theorem. Labels are used to keep track of both modalities that have been entered and assumptions that have been made. The main technical result of this paper is the equivalence of the labelled deductive calculus to the normal calculus for modal ...
openaire +1 more source
Strongly analytic tableaux for normal modal logics
1994A strong analytic tableau calculus is presentend for the most common normal modal logics. The method combines the advantages of both sequent-like tableaux and prefixed tableaux. Proper rules are used, instead of complex closure operations for the accessibility relation, while non determinism and cut rules, used by sequent-like tableaux, are totally ...
openaire +3 more sources
3-SAT = SAT for a class of normal modal logics
Information Processing Letters, 1995zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics
Workshop on Logic, Language, Information and Computation, 2021A. Tabatabai +2 more
semanticscholar +1 more source
SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI
, 2014Saul A. Kripke
semanticscholar +1 more source