The following pages link to (Q4068699):
Displaying 50 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Evidence and plausibility in neighborhood structures (Q392275) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- Notes on conditional logic (Q582275) (← links)
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) (Q631522) (← links)
- Logics for stable and unstable mereological relations (Q651278) (← links)
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Monadic bounded algebras (Q708923) (← links)
- The power of a propositional constant (Q742479) (← links)
- Syntax and semantics of modal logics containing S4 (Q752686) (← links)
- On the axiomatization of finite K-frames (Q761445) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
- Modal tableau calculi and interpolation (Q798647) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Non-adjunctive inference and classical modalities (Q812093) (← links)
- On the axiomatisation of Elgesem's logic of agency and ability (Q815019) (← links)
- Representations of monadic MV-algebras (Q817684) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics (Q831227) (← links)
- Semantics for dual preferential entailment (Q839649) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- First-order classical modal logic (Q863182) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- A non-preferential semantics of non-monotonic modal logic (Q1028644) (← links)
- Everything else being equal: a modal logic for ceteris paribus preferences (Q1029829) (← links)
- Around provability logic (Q1035652) (← links)
- An effective representation for finitely generated free interior algebras (Q1063013) (← links)
- Some paraconsistent sentential calculi (Q1068811) (← links)
- Hyperdiagonalizable algebras (Q1078181) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
