Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  23 results for ""Mathematics""

Your Filters

Language : hausa Language : interlingua (international auxiliary language association) Language : javanese Language : lithuanian Language : malay Language : occitan (post 1500) Language : official aramaic (700-300 bce) Language : romansh Language : thai Language : tonga (tonga islands) Subject : sequent calculus
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Specialization of derivations in modal logic S5

Subjects: modal logic; sequent calculus; decidable calculus

  • Source: Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)

Record details

Read More Add to Saved list
×
Academic Journal

Logic of knowledge with infinitely many agents

Subjects: modal logic; logic of knowledge; sequent calculus

  • Source: Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)

Record details

Read More Add to Saved list
×
Academic Journal

Sequent calculus usage for BDI agent implementation

Subjects: agent implementation; BDI logic; sequent calculus

  • Source: Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)

Record details

Read More Add to Saved list
×
Academic Journal

Efficient loop-check for multimodal KD45n logic

Subjects: sequent calculus; multi-modal logic KD45n; efficient loop-check

  • Source: Lietuvos Matematikos Rinkinys, Vol 47, Iss spec. (2021)

Record details

Read More Add to Saved list
×
Academic Journal

Brodsky’s coding method for propositional logic

Subjects: propositional logic; sequent calculus; Brodsky’s coding method

  • Source: Lietuvos Matematikos Rinkinys, Vol 58, Iss A (2017)

Record details

Read More Add to Saved list
×
Academic Journal

Finite sequent calculi for PLTL

Subjects: temporal logic of knowledge; theorem proving; sequent calculus

  • Source: Lietuvos Matematikos Rinkinys, Vol 56, Iss A (2015)

Record details

Read More Add to Saved list
×
Academic Journal

Method of marks for propositional linear temporal logic

Subjects: sequent calculus; loop-check; temporal logics

  • Source: Lietuvos Matematikos Rinkinys, Vol 55, Iss A (2014)

Record details

Read More Add to Saved list
×
Academic Journal

Partial cut elimination for combinations of propositional multi-modal logics with past time

Subjects: modal logic; temporal logic; sequent calculus

  • Source: Lietuvos Matematikos Rinkinys, Vol 52, Iss proc. LMS (2011)

Record details

Read More Add to Saved list
×
Academic Journal

A sequent calculus for propositional temporal logic with time gaps

Subjects: temporal logic; sequent calculus; Kripke semantics internalization

  • Source: Lietuvos Matematikos Rinkinys, Vol 52, Iss proc. LMS (2011)

Record details

Read More Add to Saved list
×
Academic Journal

Contraction-free calculi for modal logics S5 and KD45

Subjects: modal logic; sequent calculus; termination

  • Source: Lietuvos Matematikos Rinkinys, Vol 52, Iss proc. LMS (2011)

Record details

Read More Add to Saved list
×
  • 1-10 of  23 results for ""Mathematics""