Searching for authors named "Regimantas Pliuskevicius" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A deductive decision procedure for a restricted FTL
- …A deductive decision procedure for a restricted FTL Regimantas Pliuskevicius Institute…
- Add To MetaCart
-
On ω-decidable and decidable deductive procedures for a restricted FTL with Unless
- … Pliuskevicius Institute of Mathematics and Informatics, Akademijos 4, Vilnius 2600, LITHUANIA, regis…
- Add To MetaCart
-
Decision Procedure for a Fragment of Temporal Logic of Belief and Actions with Quantified Agent and Action Variables
- …A decision procedure for a fragment of temporal logic of belief and action with quantified agent and actions variables (T LBAQ) is presented. A language of TLBAQ contains variables and constants for agents and actions. The language of TLBAQ is a subset of language LORA introduced by M. Wooldridge. …
- Add To MetaCart
-
A Logic for Set-Valued Functions: Cut-Elimination and Other Improvements
- …A Logic for Set-Valued Functions: Cut-Elimination and Other Improvements Regimantas Pliuskevicius…
- Add To MetaCart
Showing 1 through 4.
