The following pages link to (Q3246315):
Displaying 50 items.
- Time and determinism (Q266653) (← links)
- The logic of ``initially'' and ``next'': complete axiomatization and complexity (Q294659) (← links)
- Transition semantics for branching time (Q302231) (← links)
- Branching in the landscape of possibilities (Q393608) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Arthur Prior and medieval logic (Q395575) (← links)
- Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (Q395577) (← links)
- \textit{Once} and \textit{for all} (Q439961) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- Prior's individuals (Q516402) (← links)
- Prior, translational semantics, and the Barcan formula (Q516404) (← links)
- Prior, Berkeley, and the Barcan formula (Q516410) (← links)
- Solving Prior's problem with a Priorean tool (Q516412) (← links)
- Prior on the semantics of modal and tense logic (Q516414) (← links)
- Partial and paraconsistent approaches to future contingents in tense logic (Q516419) (← links)
- Prior and possibly not existing (Q516421) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- The grammar of Platonism (Q528525) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Propensities and probabilities (Q643104) (← links)
- Tensed modalities (Q758993) (← links)
- An equivalent CTL formulation for condition sequences (Q816698) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- The tense logic for Master Argument in Prior's reconstruction (Q1037591) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- Interval logics with applications to study of tense and aspect in English (Q1145690) (← links)
- First-order modal theories (Q1156123) (← links)
- Classical foundations of quantum logic (Q1174417) (← links)
- Laws, modalities and counterfactuals (Q1239724) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Axiomatisation and decidability of \(F\) and \(P\) in cyclical time (Q1319266) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Dualities for Płonka sums (Q1632048) (← links)
- The opacity of truth (Q1708462) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
- Modal logic, truth, and the master modality. (Q1857362) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- Gamma graph calculi for modal logics (Q1990000) (← links)
