Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Database theoryDescription logicDynamic logic (modal logic)

Broader (1)

Modal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2021
2021
Semiring Provenance for Guarded Logics
In this paper we bring together two different areas of mathematical logic, both of which are relevant for computer science… 
2020
2020
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment
The guarded fragment of FO fails to have the Craig Interpolation Property (CIP) and the Projective Beth Definability Property… 
2020
2020
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
We study ontology-mediated querying in the case where ontologies are formulated in the guarded fragment of first-order logic (GF… 
2015
2015
Equivalence closure in the two-variable guarded fragment
We consider the satisfiability and finite satisfiability problems for the extension of the two-variable guarded fragment in which… 
2014
2014
Atom-canonicity, complete representations for cylindric-like algebras, and omitting types in clique guarded fragments of L ω,ω
Fix a finite ordinal n > 2. We show that there exists an atomic, simple and countable representable CAn, such that its Dedekind… 
2011
2011
Proof-Theoretic Soundness and Completeness
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth… 
2009
2009
A Logic Based Approach to the Static Analysis of Production Systems
In this paper we present an embedding of propositional production systems into μ -calculus, and first-order production systems… 
2005
2005
A Guarded Fragment for Abstract State Machines
Abstract State Machines (ASMs) provide a formal method for transparent design and specification of complex dynamic systems. They… 
2003
2003
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with… 
2002
2002
Interpolation in the guarded fragment
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)