Free-Variable Calculi for the Modal Logics K45 and S5 --- Extended to the Logic of Only Knowing. Skjæveland, M. G. Master's thesis, University of Oslo, 2006. Paper abstract bibtex This thesis presents a free-variable sequent calculi for the modal logics K45, S5 and the logic of Only Knowing. Labels act as placeholders for points in models, using label variables to postpone the choice of point until more knowledge of a putative satisfying model is gathered, allowing a least commitment search. The relation of contextually equivalents is used to obtain variable-sharing derivations baring tight connections to matrix systems and the goal directed Connection calculus. A system of indexed formulae is employed to enforce reuse of label parameters, establishing an upper bound for the search space. The calculus of the logic of Only Knowing is defined by combining the calculi established for K45 and S5, and utilizing an auxiliary derivation to test models for maximality.
@mastersthesis{ Sk-UIO2006,
author = {Martin G. Skj{æ}veland},
title = {{Free-Variable Calculi for the Modal Logics K45 and
S5 --- Extended to the Logic of Only Knowing}},
school = {University of Oslo},
year = {2006},
url = {http://hdl.handle.net/10852/9526},
abstract = { This thesis presents a free-variable sequent
calculi for the modal logics K45, S5 and the logic
of Only Knowing. Labels act as placeholders for
points in models, using label variables to postpone
the choice of point until more knowledge of a
putative satisfying model is gathered, allowing a
least commitment search. The relation of
contextually equivalents is used to obtain
variable-sharing derivations baring tight
connections to matrix systems and the goal directed
Connection calculus. A system of indexed formulae is
employed to enforce reuse of label parameters,
establishing an upper bound for the search
space. The calculus of the logic of Only Knowing is
defined by combining the calculi established for K45
and S5, and utilizing an auxiliary derivation to
test models for maximality.}
}
Downloads: 0
{"_id":{"_str":"5388306e0e577e1d6b002d1f"},"__v":2,"authorIDs":[],"author_short":["Skjæveland, M.<nbsp>G."],"bibbaseid":"skjveland-freevariablecalculiforthemodallogicsk45ands5extendedtothelogicofonlyknowing-2006","bibdata":{"downloads":0,"bibbaseid":"skjveland-freevariablecalculiforthemodallogicsk45ands5extendedtothelogicofonlyknowing-2006","urls":{"Paper":"http://hdl.handle.net/10852/9526"},"role":"author","year":"2006","url":"http://hdl.handle.net/10852/9526","type":"mastersthesis","title":"Free-Variable Calculi for the Modal Logics K45 and S5 --- Extended to the Logic of Only Knowing","school":"University of Oslo","key":"Sk-UIO2006","id":"Sk-UIO2006","bibtype":"mastersthesis","bibtex":"@mastersthesis{ Sk-UIO2006,\n author = {Martin G. Skj{æ}veland},\n title = {{Free-Variable Calculi for the Modal Logics K45 and\n S5 --- Extended to the Logic of Only Knowing}},\n school = {University of Oslo},\n year = {2006},\n url = {http://hdl.handle.net/10852/9526},\n abstract = { This thesis presents a free-variable sequent\n calculi for the modal logics K45, S5 and the logic\n of Only Knowing. Labels act as placeholders for\n points in models, using label variables to postpone\n the choice of point until more knowledge of a\n putative satisfying model is gathered, allowing a\n least commitment search. The relation of\n contextually equivalents is used to obtain\n variable-sharing derivations baring tight\n connections to matrix systems and the goal directed\n Connection calculus. A system of indexed formulae is\n employed to enforce reuse of label parameters,\n establishing an upper bound for the search\n space. The calculus of the logic of Only Knowing is\n defined by combining the calculi established for K45\n and S5, and utilizing an auxiliary derivation to\n test models for maximality.}\n}","author_short":["Skjæveland, M.<nbsp>G."],"author":["Skjæveland, Martin G."],"abstract":"This thesis presents a free-variable sequent calculi for the modal logics K45, S5 and the logic of Only Knowing. Labels act as placeholders for points in models, using label variables to postpone the choice of point until more knowledge of a putative satisfying model is gathered, allowing a least commitment search. The relation of contextually equivalents is used to obtain variable-sharing derivations baring tight connections to matrix systems and the goal directed Connection calculus. A system of indexed formulae is employed to enforce reuse of label parameters, establishing an upper bound for the search space. The calculus of the logic of Only Knowing is defined by combining the calculi established for K45 and S5, and utilizing an auxiliary derivation to test models for maximality."},"bibtype":"mastersthesis","biburl":"http://folk.uio.no/martige/pub/martige-pubs.bib","downloads":0,"keywords":[],"search_terms":["free","variable","calculi","modal","logics","k45","extended","logic","knowing","skjæveland"],"title":"Free-Variable Calculi for the Modal Logics K45 and S5 --- Extended to the Logic of Only Knowing","year":2006,"dataSources":["6tAATNtATFFcKGPQv"]}