English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Labelled quantified modal logics

Basin, D. A., Matthews, S., & Viganò, L. (1997). Labelled quantified modal logics. In G. Brewka, C. Habel, & B. Nebel (Eds.), Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence (pp. 171-182). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-39E8-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-39EA-2
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Basin, David A.1, Author           
Matthews, Seán1, Author           
Viganò, Luca1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: 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.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121997
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519641
Other: Local-ID: C1256104005ECAFC-F52FC7245246BAC9C125651D00465E0F-BasinMatthewsVigano97c
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Freiburg, Germany
Start-/End Date: 1997

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence
Source Genre: Proceedings
 Creator(s):
Brewka, Gerhard, Editor
Habel, Christopher, Editor
Nebel, Bernhard, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 171 - 182 Identifier: ISBN: 3-540-63493-2

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 1303 Sequence Number: - Start / End Page: - Identifier: -