The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Epistemic extensions of modal distributive substructural logics (Q2957968) (← links)
- Epistemic logics for sceptical agents (Q2957969) (← links)
- Dynamic consequence for soft information (Q2957970) (← links)
- Displaying updates in logic (Q2957971) (← links)
- Dynamic epistemic logic in update logic (Q2957972) (← links)
- A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974) (← links)
- Multi-type display calculus for dynamic epistemic logic (Q2957975) (← links)
- Multi-type display calculus for propositional dynamic logic (Q2957976) (← links)
- The canonical FEP construction (Q2983392) (← links)
- Dual characterizations for finite lattices via correspondence theory for monotone modal logic (Q2983393) (← links)
- Sahlqvist preservation for topological fixed-point logic (Q2983394) (← links)
- Canonicity results for mu-calculi: an algorithmic approach (Q2983395) (← links)
- A Van Benthem/Rosen theorem for coalgebraic predicate logic (Q2983396) (← links)
- Sahlqvist theory for impossible worlds (Q2983397) (← links)
- Jónsson-style canonicity for ALBA-inequalities (Q2983398) (← links)
- On Sahlqvist theory for hybrid logics (Q2983399) (← links)
- Undecidable problems for modal definability: Table 1. (Q2983400) (← links)
- Unified correspondence and proof theory for strict implication (Q2983401) (← links)
- Universality of quantum Turing machines with deterministic control (Q2987040) (← links)
- Unifying logics via context-sensitiveness (Q2987041) (← links)
- Layered graph logic as an assertion language for access control policy models (Q2987042) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- Boolean unification with predicates (Q2987044) (← links)
- Modal extensions of Łukasiewicz logic for modelling coalitional power (Q2987045) (← links)
- Four-valued modal logic: Kripke semantics and duality (Q2987046) (← links)
- A modal logic amalgam of classical and intuitionistic propositional logic (Q2987047) (← links)
- Paretian argumentation frameworks for Pareto optimal arguments (Q2987050) (← links)
- Judgement aggregation in multi-agent argumentation (Q2987052) (← links)
- Min-based possibilistic<i>DL-Lite</i> (Q2987053) (← links)
- On modal extensions of Product fuzzy logic (Q2987054) (← links)
- Rees coextensions of finite, negative tomonoids (Q2987055) (← links)
- Stochastic non-determinism and effectivity functions (Q2987056) (← links)
- A modal logic for reasoning about economic policies (Q2987057) (← links)
- Erratum to: A substructural logic for layered graphs (Q2987058) (← links)
- The abstract state machines method for modular design and analysis of programming languages (Q2987059) (← links)
- BDI: a new decidable clause class (Q2987061) (← links)
- KBOs, ordinals, subrecursive hierarchies and all that (Q2987062) (← links)
- Faulty sets of Boolean formulas and ukasiewicz logic (Q2987063) (← links)
- Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064) (← links)
- A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (Q2987065) (← links)
- Reducing redundancy in cut-elimination by resolution (Q2987066) (← links)
- The rules of the game are changing: Scientific impact factors and publication strategies among logicians (Q3006110) (← links)
- Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach (Q3006111) (← links)
- Linear Temporal Logic LTL: Basis for Admissible Rules (Q3006112) (← links)
- From Situation Calculus to Dynamic Epistemic Logic (Q3006113) (← links)
- Introducing Preferences in Planning as Satisfiability (Q3006114) (← links)
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115) (← links)
- Towards a Definition of an Algorithm (Q3006116) (← links)
- Rank Hierarchies for Generalized Quantifiers (Q3006117) (← links)
- Inductive Defense for Sceptical Semantics of Extended Argumentation (Q3006119) (← links)
