Automatically assigned DDC number: 006333

Manually assigned DDC number: 00631

Number of references: 4

Title: Labelled Quantified Modal Logics

Subject: Labelled Quantified Modal Logics

Description: . We present an approach to providing natural deduction style proof systems for a large class of quantified modal logics with varying, increasing, decreasing or constant domains of quantification. The systems we develop are modular both in the behavior of the accessibility relation and quantification relative to the semantics, and in the proofs of soundness and completeness relative to that semantics. Our systems also provide the basis of simple implementations of quantified modal logics in a standard logical framework theorem prover. 1 Introduction Modal logic is an active area of research in computer science and artificial intelligence, as a language for formalizing and reasoning about, e.g., knowledge, belief, time, space, and other dynamic `state oriented' properties. The principles of propositional modal logics (PMLs) are well understood, and the relationship between semantics and proof theory captured in general metatheorems which we can exploit in developing new systems. The si...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-09-10

Pubyear: 0

Format: ps

Identifier: http://citeseer.ist.psu.edu/149533.html

Source: http://www.informatik.uni-freiburg.de/~basin/pubs/ki97.ps.Z

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/444986.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="92"   Title="Simple   Consequence   Relations,">

            <identifier   Org="ISBN:0198538596"   Paper_ID="/444986.html"   Extracted="0198538596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/444986.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:1402005830"   Paper_ID="/444986.html"   Extracted="1402005830"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540404945"   Paper_ID="/444986.html"   Extracted="3540404945"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441905"   Paper_ID="/444986.html"   Extracted="3540441905"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540503250"   Paper_ID="/444986.html"   Extracted="3540503250"   />

            <identifier   Org="ISBN:354051662X"   Paper_ID="/444986.html"   Extracted="354051662X"   />

            <identifier   Org="ISBN:354055887X"   Paper_ID="/444986.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/444986.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540580859"   Paper_ID="/444986.html"   Extracted="3540580859"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/444986.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540605797"   Paper_ID="/444986.html"   Extracted="3540605797"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540615504"   Paper_ID="/444986.html"   Extracted="3540615504"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540616292"   Paper_ID="/444986.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617809"   Paper_ID="/444986.html"   Extracted="3540617809"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540631046"   Paper_ID="/444986.html"   Extracted="3540631046"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/444986.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354066131X"   Paper_ID="/444986.html"   Extracted="354066131X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/340554.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Language   and   Information"   CiteSeer_Volume="7"   Title="Labelled   Modal   Logics:   Quantifiers,">

            <identifier   Org="ISBN:0792362373"   Paper_ID="/340554.html"   Extracted="0792362373"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0792377494"   Paper_ID="/340554.html"   Extracted="0792377494"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0863802524"   Paper_ID="/340554.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/340554.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540422544"   Paper_ID="/340554.html"   Extracted="3540422544"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540425543"   Paper_ID="/340554.html"   Extracted="3540425543"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354067697X"   Paper_ID="/340554.html"   Extracted="354067697X"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540741062"   Paper_ID="/340554.html"   Extracted="3540741062"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/61838.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="7"   Title="Labelled   Propositional   Modal   Logics:   Theory   and   Practice,">

            <identifier   Org="ISBN:0792362373"   Paper_ID="/61838.html"   Extracted="0792362373"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792364732"   Paper_ID="/61838.html"   Extracted="0792364732"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792377494"   Paper_ID="/61838.html"   Extracted="0792377494"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/61838.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:140206781X"   Paper_ID="/61838.html"   Extracted="140206781X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540633855"   Paper_ID="/61838.html"   Extracted="3540633855"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/61838.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540660860"   Paper_ID="/61838.html"   Extracted="3540660860"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540741062"   Paper_ID="/61838.html"   Extracted="3540741062"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:8323116903"   Paper_ID="/61838.html"   Extracted="8323116903"   />

      </rec>

      <rec   ID="/281128.html"   Type="incollection"   CiteSeer_Book="Proceedings   2nd   Annual   IEEE   Symp   on   Logic   in   Computer   Science   LICS87   Ithaca   NY   USA   2225   June   1987"   CiteSeer_Volume=""   Title="A   Framework   for   Defining   Logics,">

            <identifier   Org="ISBN:0125242204"   Paper_ID="/281128.html"   Extracted="0125242204"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0198538596"   Paper_ID="/281128.html"   Extracted="0198538596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/281128.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521413001"   Paper_ID="/281128.html"   Extracted="0521413001"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/281128.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540230173"   Paper_ID="/281128.html"   Extracted="3540230173"   DDC="511.36028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540406646"   Paper_ID="/281128.html"   Extracted="3540406646"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/281128.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540433538"   Paper_ID="/281128.html"   Extracted="3540433538"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540440399"   Paper_ID="/281128.html"   Extracted="3540440399"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540575294"   Paper_ID="/281128.html"   Extracted="3540575294"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540580859"   Paper_ID="/281128.html"   Extracted="3540580859"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540582339"   Paper_ID="/281128.html"   Extracted="3540582339"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/281128.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540617809"   Paper_ID="/281128.html"   Extracted="3540617809"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/281128.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540744630"   Paper_ID="/281128.html"   Extracted="3540744630"   />

            <identifier   Org="ISBN:3540787992"   Paper_ID="/281128.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/281128.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Labelled   Quantified   Modal   Logics">

            <identifier   Org="ISBN:3540634932"   Paper_ID="SELF"   Extracted="3540634932"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>

www.000webhost.com