Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,636,641 papers from all fields of science
Search
Sign In
Create Free Account
Guarded logic
Known as:
Guarded fragment
Guarded logic is a choice set of dynamic logic involved in choices, where outcomes are limited. A simple example of guarded logic is as follows: if X…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Database theory
Description logic
Dynamic logic (modal logic)
Broader (1)
Modal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment
J. C. Jung
,
F. Wolter
arXiv.org
2020
Corpus ID: 220347224
The guarded fragment of FO fails to have the Craig Interpolation Property (CIP) and the Projective Beth Definability Property…
Expand
2016
2016
A logic of sights
C. Dégremont
,
Soumya Paul
,
Nicholas Asher
Journal of Logic and Computation
2016
Corpus ID: 41526395
We study labeled transition systems where at each state an agent is aware of and hence reasons about only a part of the entire…
Expand
2011
2011
Proof-Theoretic Soundness and Completeness
Robert Rothenberg
arXiv.org
2011
Corpus ID: 11455141
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth…
Expand
2009
2009
The Largest DLP Possible Technical Report – Version 2 . 1 ⋆
M. Rudolph
2009
Corpus ID: 16372909
Description Logic Programs (DLP) have been described as a de cription logic (DL) that is in the “expressive intersection” of D L…
Expand
2004
2004
I N F O R M a T I K Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
Yevgeny Kazakov
,
H. De Nivelle
2004
Corpus ID: 6813678
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in…
Expand
2004
2004
Managing Database Incompleteness with the Guarded Fragment
Michael Jason Minock
2004
Corpus ID: 18783348
Traditional databases do not explicitly represent the portions over their schemas for which they are sound and complete. This…
Expand
2004
2004
DEDUCTION CHAINS AND DC-LIKE DECISION PROCEDURE FOR GUARDED LOGIC
A. Kouznetsov
2004
Corpus ID: 55715957
The notion of Deduction Chain (DC) was suggested by K.Schutte to prove the completeness of flrst order logic (FOL). There is a…
Expand
2002
2002
Interpolation in the guarded fragment
E. Hoogland
,
M. Marx
2002
Corpus ID: 117122436
2001
2001
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
L. Georgieva
,
U. Hustadt
,
R. Schmidt
Logic Programming and Automated Reasoning
2001
Corpus ID: 14069711
This paper describes a number of hyperresolution-based decision procedures for a subfragment of the guarded fragment. We first…
Expand
1999
1999
The guarded fragment: Ins and outs
C. Areces
,
Christof Monz
,
J.M.G.G. de Nivelle
,
M. de Rijke
,
J. Gerbrandy
1999
Corpus ID: 2542406
In this short note we discuss several perspectives on the notion of Guarded Fragments (GFs) of first-order logic first introduced…
Expand