Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.
Miika HannulaJonni VirtemaPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- proof theory
- logic programming
- model theoretic
- logical equivalence
- probabilistic logic
- sound and complete axiomatization
- np complete
- sound and complete with respect
- probabilistic knowledge
- nonmonotonic logics
- dynamic logic
- logical framework
- propositional dynamic logic
- proof theoretic
- probability theory
- modal logic
- default reasoning
- epistemic logic
- formal semantics
- operational semantics
- formal language
- logic programs
- higher order
- computational complexity
- modal operators
- derivation rules
- fixed point semantics
- conditional logic
- bayesian networks
- algebraic structure
- uncertain data
- probabilistic reasoning
- intuitionistic logic
- rewrite systems
- agent oriented programming language
- kripke models
- probabilistic model
- semantic information
- predicate calculus
- nonmonotonic reasoning
- rule engine
- computational properties
- autoepistemic logic
- abstract argumentation frameworks
- constraint satisfaction
- logical rules
- binary relations
- classical logic
- alternating time temporal logic