Logics
Permanent URI for this community
Browse
Browsing Logics by Issue Date
Now showing 1 - 20 of 32
Results Per Page
Sort Options
Distribution Concepts of Interpolation in Stratified InstitutionsRăzvan DiaconescuDistribution Concepts of Interpolation in Stratified InstitutionsRăzvan DiaconescuDistribution 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 SoleckiDistribution Why Logics?Jean-Yves BeziauDistribution Why Logics?Jean-Yves BeziauDistribution 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 Graph Algebras and Derived Graph OperationsUwe Wolter; Tam T. TruongDistribution On Line Diagrams Plus ModalityJ.-Martín Castro-ManzanoDistribution Graph Algebras and Derived Graph OperationsUwe Wolter; Tam T. TruongDistribution On Line Diagrams Plus ModalityJ.-Martín Castro-ManzanoDistribution Projective Geometry as a Model for Hegel’s LogicPaul ReddingDistribution Projective Geometry as a Model for Hegel’s LogicPaul ReddingDistribution Modelling Value-Oriented Legal Reasoning in LogiKEyChristoph Benzmüller; David Fuenmayor; Bertram LomfeldDistribution Modelling Value-Oriented Legal Reasoning in LogiKEyChristoph Benzmüller; David Fuenmayor; Bertram LomfeldDistribution DECLAREd: A Polytime LTLf FragmentGiacomo BergamiDistribution Inferential Interpretations of Many-Valued LogicsSanderson Molick