P-tS Approach to IPL: Proof-theoretic Validity and Base-extension Semantics
B-eS for IPL encapsulates P-tV content.
Analyzing the Logic of Minimal Coalitions in Strategic Reasoning
Coalition logic assumptions are scrutinized for strategic reasoning.
Inquisitive Propositional and Modal Logic Model Checking Complexity Study
Inquisitive propositional and modal logic model checking problems are proven to be AP-complete.
Hyper Strategy Logic: Strategic Reasoning in Multi-Agent Systems
Hyper Strategy Logic (HyperSL) combines strategic reasoning with the ability to compare multiple paths, enabling the expression of complex properties beyond traditional logics.
Complexity of Model Checking for Inquisitive Propositional and Modal Logic
Model checking complexity for inquisitive logics is proven to be PSPACE-complete.
HyperATL∗, Hyperproperties, and Strategy Sharing in Multi-Agent Systems
HyperATL∗ S extends ATL∗ to compare multiple strategic interactions and enforce shared strategies in multi-agent systems.
The Interpolant Existence Problem for Weak K4 and Difference Logic
Deciding the existence of interpolants in weak K4 and difference logic.
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
Bluebell unifies unary and relational reasoning through joint conditioning, enhancing probabilistic program verification.
Analyzing HyperATL∗S for Multi-Agent Systems
The author proposes HyperATL∗S as an extension of ATL∗ to compare multiple strategic interactions and enforce agents to share strategies in multi-agent systems.
Analyzing Proof-theoretic Validity and Base-extension Semantics for Intuitionistic Propositional Logic
The authors explore the relationship between proof-theoretic validity (P-tV) and base-extension semantics (B-eS) in intuitionistic propositional logic (IPL), demonstrating how B-eS encapsulates the declarative content of a basic version of P-tV. They diverge from previous approaches by considering the constructive, hypothetical setup of P-tV.
© 2024 by Linnk AI