Has where published Studia Logica
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "Studia Logica"- An Overview of Tableau Algorithms for Description Logics +
- Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity +
- Categorical Abstract Algebraic Logic: Equivalent Institutions +
- Categorical Abstract Algebraic Logic Metalogical Properties +
- Temporalising Tableaux +
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
- Willem Blok and Modal Logic +
- On Dynamic Topological and Metric Logics +
- All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete +
- First Order Common Knowledge Logics +
- Simulation and Transfer Results in Modal Logic - A Survey +
- Superintuitionistic Companions of Classical Modal Logics +
- What is the upper part of the lattice of bimodal logics? +
- The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable +
- Modal Companions of Intermediate Propositional Logics +
- A Practical Approach to Revising Prioritized Knowledge Bases +
- A Framework for Multi-Agent Belief Revision +
- Prolegomena to Concise Theories of Action +
