A modal view on resource-bounded propositional logics
From MaRDI portal
Publication:2157601
DOI10.1007/s11225-022-09984-3OpenAlexW4226512065MaRDI QIDQ2157601
Publication date: 22 July 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-09984-3
modal logicclassical propositional logicinformation semanticsbivalence ruledistributed theorem provingresource-bounded logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantics and proof-theory of depth bounded Boolean logics
- Natural deduction, hybrid systems and modal logics
- The enduring scandal of deduction. Is propositional logic really uninformative?
- Cut and pay
- An informational view of classical logic
- Dynamic epistemic logic
- Epistemic logic for rule-based agents
- Natural deduction, separation, and the meaning of logical operators
- Propositional dynamic logic of regular programs
- Anytime clausal reasoning
- Distributed first order logic
- Classical logic, argument and dialectic
- Tractable reasoning via approximation
- A dynamic solution to the problem of logical omniscience
- The fundamental problem of logical omniscience
- A multi-agent depth bounded Boolean logic
- Dynamic epistemic logic for implicit and explicit beliefs
- Semantics for knowledge and change of awareness
- Normality, non-contamination and logical depth in classical natural deduction
- The universe of propositional approximations
- Inference as doxastic agency. I: The basics of justification stit logic
- Lattice Theory: Foundation
- Propositional SAT Solving
- Introducing Justification into Epistemic Logic
- Proof Theory for Distributed Knowledge
- Twelve Angry Men: A Study on the Fine-Grain of Announcements
- Polynomial size proofs of the propositional pigeonhole principle
- The complexity of theorem-proving procedures
