The following pages link to (Q4342094):
Displaying 50 items.
- On tense MV-algebras (Q277554) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← links)
- Dynamic logic assigned to automata (Q682633) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- The tense logic for Master Argument in Prior's reconstruction (Q1037591) (← links)
- The power of temporal proofs (Q1118578) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- Time and modality in the logic of agency (Q1207433) (← links)
- On logics with coimplication (Q1272827) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- Axiomatisation and decidability of \(F\) and \(P\) in cyclical time (Q1319266) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Tense operators in fuzzy logic (Q1677045) (← links)
- Galois connections and tense operators on q-effect algebras (Q1677935) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Partial tense MV-algebras and related functions (Q1697648) (← links)
- Tense operators on non-commutative residuated lattices (Q1701919) (← links)
- Transition operators assigned to physical systems (Q1744694) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Memory and perfect recall in extensive games (Q1885433) (← links)
- Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q1933793) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- `Now' and `then' in tense logic (Q2271188) (← links)
- Evolution of objects and concepts (Q2296038) (← links)
- A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q2318247) (← links)
- Operators on MV-algebras and their representations. (Q2351465) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Logical dynamics of belief change in the community (Q2515780) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
