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
<?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>