Erotetic Logic as a Specification Language for Database Queries

Dissertation, Kansas State University (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Combining totalitarian and Ceteris Paribus semantics in database preference queries.Rui da Silva Neves & Souhila Kaci - 2010 - Logic Journal of the IGPL 18 (3):464-483.
Erotetic search scenarios.Andrzej Wiśniewski - 2003 - Synthese 134 (3):389 - 427.
Deontic database constraints, violation and recovery.José Carmo & Andrew J. I. Jones - 1996 - Studia Logica 57 (1):139 - 165.
A Theory Of Local Set Queries.Klaus-Dieter Schewe & José María Turull Torres - 2005 - Logic Journal of the IGPL 13 (1):47-68.
Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.
An erotetic approach to explanation by specification.Theo A. F. Kuipers & Andrzej Wiśniewski - 1994 - Erkenntnis 40 (3):377 - 402.
Erotetic logic and explanation by abnormic hypotheses.Andrzej WiśNiewski - 1999 - Synthese 120 (3):295-309.
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
Databases for criminal intelligence analysis: Knowledge representation issues. [REVIEW]Robert Ayres - 1997 - AI and Society 11 (1-2):18-35.
A Formal Approach to Exploring the Interrogator's Perspective in the Turing Test.Paweł Łupkowski - 2011 - Logic and Logical Philosophy 20 (1-2):139-158.
Automata techniques for query inference machines.William Gasarch & Geoffrey R. Hird - 2002 - Annals of Pure and Applied Logic 117 (1-3):169-201.
Erotetic arguments: A preliminary analysis.Andrzej Wiśniewski - 1991 - Studia Logica 50 (2):261 - 274.
About Testing and Specification . . . and about First Order Logic.Jan van Eijck - unknown
Querying linguistic treebanks with monadic second-order logic in linear time.Stephan Kepser - 2004 - Journal of Logic, Language and Information 13 (4):457-470.
Inferential erotetic logic meets inquisitive semantics.Andrzej Wiśniewski & Dorota Leszczyńska-Jasion - 2015 - Synthese 192 (6):1585-1608.

Analytics

Added to PP
2016-04-08

Downloads
137 (#134,056)

6 months
37 (#99,369)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gary James Jason
California State University, Fullerton

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references