Title | ||
---|---|---|
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics |
Abstract | ||
---|---|---|
. This work is a study of the inter-translatability of two closelyrelated proof methods, i.e. tableau (or sequent) and connection based, inthe case of the propositional modal logics K, K4, T, S4, paying particularattention to the relation between matrix multiplicity and multiple use of0-formulae (contractions) in tableaux/sequent proofs.The motivation of the work is the following. Since the role of a multiplicityin matrix methods is the encoding of the number of copies of agiven formula ... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BFb0027410 | TABLEAUX |
Keywords | Field | DocType |
matrix decision methods,propositional modal logics,hintikka multiplicities,modal logic,matrix multiplication | T-norm fuzzy logics,Modal μ-calculus,Discrete mathematics,Algebra,Normal modal logic,Accessibility relation,Modal logic,Sequent,Propositional variable,Mathematics,Method of analytic tableaux | Conference |
Volume | ISSN | ISBN |
1227 | 0302-9743 | 3-540-62920-3 |
Citations | PageRank | References |
3 | 0.61 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Serenella Cerrito | 1 | 139 | 13.72 |
Marta Cialdea Mayer | 2 | 274 | 28.25 |