The following pages link to Semantic analysis of tense logics (Q5648343):
Displaying 39 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- Partial and paraconsistent approaches to future contingents in tense logic (Q516419) (← links)
- Notes on conditional logic (Q582275) (← links)
- Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
- Possible worlds in use (Q647416) (← links)
- The power of a propositional constant (Q742479) (← links)
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- A deontic logic of action (Q792312) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Some embedding theorems for conditional logic (Q853813) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- First-order indefinite and uniform neighbourhood semantics (Q1140625) (← links)
- Algebraic and relational semantics for tense logics (Q1162503) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- On logics with coimplication (Q1272827) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Semantic analysis of orthologic (Q1394336) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Dynamic squares (Q1902558) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- A note on the issue of cohesiveness in canonical models (Q2209168) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)
- Canonicity in power and modal logics of finite achronal width (Q6638232) (← links)
