scientific article; zbMATH DE number 1059246

MaRDI QIDQ4353561zbMATH OpenFDO

Authors Moshe Y. Vardi

Publication date 10 September 1997

zbMATH Keywords

decidabilityfirst-order logicpropositional modal logicautomata-based decision procedurestree-model propertycomputation-tree logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 1346360
• Decidability by resolution for propositional modal logics
• On logics with two variables
• An incomplete decidable modal logic

Cited in

(39)

• On logics with two variables
• On the Restraining Power of Guards
• Local closed world reasoning with description logics under the well-founded semantics
• Are bundles good deals for first-order modal logic?
• The guarded fragment with transitive guards
• Why does the proof-theory of hybrid logic work so well?
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• From statistical relational to neurosymbolic artificial intelligence: a survey
• Model checking timed recursive CTL
• Global and local graph modifiers
• Regular graphs and the spectra of two-variable logic with counting
• Coalgebraic semantics of modal logics: an overview
• An NP-complete fragment of fibring logic
• Individual Reuse in Description Logic Reasoning
• scientific article; zbMATH DE number 7561348 (Why is no real title available?)
• A dynamic deontic logic for complex contracts
• Guarded fixed point logics and the monadic theory of countable trees.
• Connectionist modal logic: representing modalities in neural networks
• Model checking for hybrid branching-time logics
• Modal Satisfiability via SMT Solving
• Structure and Power: an Emerging Landscape
• On the complexity of the two-variable guarded fragment with transitive guards
• Conceptual logic programs
• Classical algorithms for reasoning and explanation in description logics
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Guarded negation
• Combining theories: the Ackerman and guarded fragments
• Resolution with order and selection for hybrid logics
• Open answer set programming for the semantic web
• Semiring Provenance for Guarded Logics
• Deciding the guarded fragments by resolution
• Rewrite rules for \(\mathrm{CTL}^\ast\)
• Polynomial hierarchy graph properties in hybrid logic
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• Connectionist computations of intuitionistic reasoning
• Craig interpolation for decidable first-order fragments
• Representing ontologies using description logics, description graphs, and rules
• Hybrid logics and ontology languages

Describes a project that uses

Uses Software

• CESAR

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)