Generalized modal satisfiability (Q988571): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2009.10.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2091470957
@@ Property / OpenAlex ID: W2091470957 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Modal Satisfiability
@@ Property / cites work: Generalized Modal Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+A unifying semantics for time and events
@@ Property / cites work: A unifying semantics for time and events / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of existential quantification in concept languages.
+Normal rank
@@ Property / cites work @@
+The complexity of concept languages
@@ Property / cites work: The complexity of concept languages / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics for Cryptographic Processes
@@ Property / cites work: Modal Logics for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+The price of universality
@@ Property / cites work: The price of universality / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Poor Man's Logic
@@ Property / cites work: The Complexity of Poor Man's Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501537
@@ Property / cites work: Q4501537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910732
@@ Property / cites work: Q4910732 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Optimal satisfiability for propositional calculi and constraint satisfaction problems.
+Normal rank
@@ Property / cites work @@
+On boolean lowness and boolean highness
@@ Property / cites work: On boolean lowness and boolean highness / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank