A modal view on resource-bounded propositional logics

DOI10.1007/S11225-022-09984-3MaRDI QIDQ2157601zbMATH OpenOpenAlexFDO

Authors Pere Pardo

Publication date 22 July 2022

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-022-09984-3

zbMATH Keywords

bivalence ruleclassical propositional logicdistributed theorem provinginformation semanticsmodal logicresource-bounded logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Depth-bounded reasoning. Volume 1: classical propositional logic
• Tractable depth-bounded logics and the problem of logical omniscience
• Semantics and proof-theory of depth bounded Boolean logics
• Non-normal modalities in variants of linear logic
• A logic of situated resource-bounded agents

Cites work

• A dynamic solution to the problem of logical omniscience
• A multi-agent depth bounded Boolean logic
• An informational view of classical logic
• Anytime clausal reasoning
• Classical logic, argument and dialectic
• Cut and pay
• Distributed first order logic
• Dynamic epistemic logic
• Dynamic epistemic logic for implicit and explicit beliefs
• Epistemic logic for rule-based agents
• Handbook of modal logic
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1414298 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Inference as doxastic agency. I: The basics of justification stit logic
• Introducing Justification into Epistemic Logic
• Lattice Theory: Foundation
• Modal logic for philosophers
• Natural deduction, hybrid systems and modal logics
• Natural deduction, separation, and the meaning of logical operators
• Normality, non-contamination and logical depth in classical natural deduction
• Polynomial size proofs of the propositional pigeonhole principle
• Proof Theory for Distributed Knowledge
• Propositional dynamic logic of regular programs
• Propositional SAT solving
• Semantics and proof-theory of depth bounded Boolean logics
• Semantics for knowledge and change of awareness
• The complexity of theorem-proving procedures
• The enduring scandal of deduction. Is propositional logic really uninformative?
• The fundamental problem of logical omniscience
• The universe of propositional approximations
• Tractable reasoning via approximation
• Twelve Angry Men: A Study on the Fine-Grain of Announcements

Cited in

(12)

• Resource-bounded paraconsistent inference
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Correction to: ``A modal view on resource-bounded propositional logics
• Resource graphs and countermodels in resource logics
• PSPACE bounds for rank-1 modal logics
• scientific article; zbMATH DE number 1088193 (Why is no real title available?)
• A modal separation logic for resource dynamics
• scientific article; zbMATH DE number 1926635 (Why is no real title available?)
• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• scientific article; zbMATH DE number 7368413 (Why is no real title available?)
• scientific article; zbMATH DE number 2236612 (Why is no real title available?)
• Depth-bounded reasoning. Volume 1: classical propositional logic

This page was built for publication: A modal view on resource-bounded propositional logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157601)