Logics
Permanent URI for this community
Browse
Browsing Logics by Title
Now showing 1 - 20 of 32
Results Per Page
Sort Options
Distribution An Algebraic Proof of the Nishimura TheoremAlex CitkinDistribution An Algebraic Proof of the Nishimura TheoremAlex CitkinDistribution Bilateral Connexive LogicNissim FrancezDistribution Bilateral Connexive LogicNissim FrancezDistribution Carnap’s Problem for Intuitionistic Propositional LogicHaotian Tong; Dag WesterståhlDistribution Carnap’s Problem for Intuitionistic Propositional LogicHaotian Tong; Dag WesterståhlDistribution Concepts of Interpolation in Stratified InstitutionsRăzvan DiaconescuDistribution Concepts of Interpolation in Stratified InstitutionsRăzvan DiaconescuDistribution DECLAREd: A Polytime LTLf FragmentGiacomo BergamiDistribution DECLAREd: A Polytime LTLf FragmentGiacomo BergamiDistribution Distribution Distribution Distribution Distribution Graph Algebras and Derived Graph OperationsUwe Wolter; Tam T. TruongDistribution Graph Algebras and Derived Graph OperationsUwe Wolter; Tam T. TruongDistribution Inferential Interpretations of Many-Valued LogicsSanderson MolickDistribution Inferential Interpretations of Many-Valued LogicsSanderson MolickDistribution Logics for Epistemic Actions: Completeness, Decidability, ExpressivityAlexandru Baltag; Lawrence S. Moss; Sławomir SoleckiDistribution Logics for Epistemic Actions: Completeness, Decidability, ExpressivityAlexandru Baltag; Lawrence S. Moss; Sławomir Solecki