Pages that link to "Item:Q4149442"
From MaRDI portal
The following pages link to The Computational Complexity of Provability in Systems of Modal Propositional Logic (Q4149442):
Displayed 50 items.
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Hypothetical datalog: Complexity and expressibility (Q915436) (← links)
- General default logic (Q987485) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Belief, awareness, and limited reasoning (Q1096610) (← links)
- Satisfiability in many-valued sentential logic is NP-complete (Q1100196) (← links)
- A class of decidable information logics (Q1128479) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- On the size of refutation Kripke models for some linear modal and tense logics (Q1155046) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic (Q1209339) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
- A simple propositional \(\text{S}5\) tableau system (Q1295438) (← links)
- The complexity of the disjunction and existential properties in intuitionistic logic (Q1304542) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- The complexity of concept languages (Q1363785) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- On the polynomial-space completeness of intuitionistic propositional logic (Q1411664) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The decision problem of provability logic with only one atom (Q1423633) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- The price of universality (Q1815426) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- Domino-tiling games (Q1822501) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic (Q1855229) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Complexity of computing with extended propositional logic programs (Q1924783) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- The NP-Completeness of Reflected Fragments of Justification Logics (Q3605524) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)