scientific article; zbMATH DE number 1059246
From MaRDI portal
Publication:4353561
zbMath0881.03012MaRDI QIDQ4353561
Publication date: 10 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicdecidabilitypropositional 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)
Related Items (34)
The guarded fragment with transitive guards ⋮ Structure and Power: an Emerging Landscape ⋮ Combining Theories: The Ackerman and Guarded Fragments ⋮ Representing ontologies using description logics, description graphs, and rules ⋮ Conceptual logic programs ⋮ On the complexity of the two-variable guarded fragment with transitive guards ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ Unnamed Item ⋮ Open answer set programming for the semantic web ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Resolution with order and selection for hybrid logics ⋮ An NP-complete fragment of fibring logic ⋮ Coalgebraic semantics of modal logics: an overview ⋮ A dynamic deontic logic for complex contracts ⋮ Local closed world reasoning with description logics under the well-founded semantics ⋮ On logics with two variables ⋮ A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). ⋮ Individual Reuse in Description Logic Reasoning ⋮ Polynomial hierarchy graph properties in hybrid logic ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ Rewrite rules for \(\mathrm{CTL}^\ast\) ⋮ Unnamed Item ⋮ Connectionist computations of intuitionistic reasoning ⋮ On the Restraining Power of Guards ⋮ Guarded Negation ⋮ Model checking for hybrid branching-time logics ⋮ Global and Local Graph Modifiers ⋮ Modal Satisfiability via SMT Solving ⋮ Guarded fixed point logics and the monadic theory of countable trees. ⋮ Regular Graphs and the Spectra of Two-Variable Logic with Counting ⋮ Semiring Provenance for Guarded Logics ⋮ Hybrid Logics and Ontology Languages ⋮ Deciding the guarded fragments by resolution
Uses Software
This page was built for publication:
