The following pages link to (Q5636857):
Displaying 50 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- Tensed modalities (Q758993) (← links)
- The temporal logic of branching time (Q789895) (← links)
- To be and not to be: Dialectical tense logic (Q791513) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- Sleeping Beauty and shifted Jeffrey conditionalization (Q1036045) (← links)
- A logic to reason about likelihood (Q1090326) (← links)
- Specification and verification of database dynamics (Q1092680) (← 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)
- A study of some tense logics by Gentzen's sequential method (Q1145691) (← links)
- On some ascending chains of Brouwerian modal logics (Q1156787) (← links)
- Model theory for tense logic: Saturated and special models with applications to the tense hierarchy (Q1156790) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- Semantics for finitary predicate calculi (Q1232399) (← links)
- Cut-free sequent calculi for some tense logics (Q1317905) (← links)
- Resolution theorem proving in reified modal logics (Q1332644) (← links)
- A theoretical foundation of the DSSSL location model (Q1370525) (← links)
- Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Time and logic: A calculus of binary events (Q1805011) (← links)
- The theory of functional and subset dependencies over relational expressions (Q1837548) (← links)
- Hybrid languages (Q1909610) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Back to the actual future (Q2055910) (← links)
- A note on the issue of cohesiveness in canonical models (Q2209168) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
- The mereotopology of time (Q2319892) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
- The Arrow of Time through the Lens of Computing (Q3587260) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- A theory of data dependencies over relational expressions (Q3670613) (← links)
- The logic of temporal discourse (Q3870867) (← links)
- (Q4113795) (← links)
- (Q4206712) (← links)
- Note on a six-valued extension of three-valued logic (Q4291025) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic (Q4611678) (← links)
- Efficient loop-check for backward proof search in some non-classical propositional logics (Q4645239) (← links)
- Resolution-based calculi for modal and temporal logics (Q4647550) (← links)
