scientific article; zbMATH DE number 1059246
From MaRDI portal
Publication:4353561
zbMATH Open0881.03012MaRDI QIDQ4353561FDOQ4353561
Authors: Moshe Y. Vardi 
Publication date: 10 September 1997
Title of this publication is not available (Why is that?)
Recommendations
decidabilityfirst-order logicpropositional modal logicautomata-based decision procedurestree-model propertycomputation-tree logic
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Cited In (39)
- Title not available (Why is that?)
- Guarded fixed point logics and the monadic theory of countable trees.
- Why does the proof-theory of hybrid logic work so well?
- Representing ontologies using description logics, description graphs, and rules
- On the Restraining Power of Guards
- Polynomial hierarchy graph properties in hybrid logic
- Individual Reuse in Description Logic Reasoning
- Conceptual logic programs
- Combining theories: the Ackerman and guarded fragments
- Connectionist computations of intuitionistic reasoning
- On the complexity of the two-variable guarded fragment with transitive guards
- Hybrid logics and ontology languages
- A dynamic deontic logic for complex contracts
- Connectionist modal logic: representing modalities in neural networks
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Coalgebraic semantics of modal logics: an overview
- Title not available (Why is that?)
- Resolution with order and selection for hybrid logics
- Structure and Power: an Emerging Landscape
- The guarded fragment with transitive guards
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Craig interpolation for decidable first-order fragments
- Are bundles good deals for first-order modal logic?
- Local closed world reasoning with description logics under the well-founded semantics
- Semiring Provenance for Guarded Logics
- An NP-complete fragment of fibring logic
- Modal Satisfiability via SMT Solving
- Deciding the guarded fragments by resolution
- Regular graphs and the spectra of two-variable logic with counting
- On logics with two variables
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
- Guarded negation
- From statistical relational to neurosymbolic artificial intelligence: a survey
- Open answer set programming for the semantic web
- Global and local graph modifiers
- Classical algorithms for reasoning and explanation in description logics
- Model checking for hybrid branching-time logics
- Rewrite rules for \(\mathrm{CTL}^\ast\)
- Model checking timed recursive CTL
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353561)
